Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897911334

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transition logic

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808664 ◽

1984 ◽

Cited By ~ 9

Author(s):

Rob Gerth

Download Full-text

Pebblings, edgings, and equational logic

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808709 ◽

1984 ◽

Cited By ~ 2

Author(s):

Dexter Kozen

Keyword(s):

Equational Logic

Download Full-text

Comparison of arithmetic functions with respect to boolean circuit depth

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808714 ◽

1984 ◽

Cited By ~ 4

Author(s):

Helmut Alt

Keyword(s):

Arithmetic Functions ◽

Boolean Circuit ◽

Circuit Depth

Download Full-text

Determining equivalence of expressions in random polynomial time

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808698 ◽

1984 ◽

Cited By ~ 5

Author(s):

Gaston H. Gonnet

Keyword(s):

Polynomial Time ◽

Random Polynomial

Download Full-text

Distributed elections in an archimedean ring of processors

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808725 ◽

1984 ◽

Cited By ~ 28

Author(s):

Paul M.B. Vitányi

Download Full-text

Correcting faults in write-once memory

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808685 ◽

1984 ◽

Cited By ~ 2

Author(s):

Danny Dolev ◽

David Maier ◽

Ilarry Mairson ◽

Jeffrey Ullman

Download Full-text

Optimal parallel algorithms for string matching

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808687 ◽

1984 ◽

Cited By ~ 19

Author(s):

Zvi Galil*

Keyword(s):

Parallel Algorithms ◽

String Matching

Download Full-text

Probabilistic temporal logics for finite and bounded models

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808660 ◽

1984 ◽

Cited By ~ 34

Author(s):

Sergiu Hart ◽

Micha Sharir(

Keyword(s):

Temporal Logics

Download Full-text

Automata theoretic techniques for modal logics of programs

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808711 ◽

1984 ◽

Cited By ~ 27

Author(s):

Moshe Y. Vardi ◽

Pierre Wolper

Keyword(s):

Modal Logics ◽

Logics Of Programs

Download Full-text

Deciding branching time logic

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 ◽

10.1145/800057.808661 ◽

1984 ◽

Cited By ~ 39

Author(s):

E. Allen Emerson ◽

A. Prasad Sistla

Keyword(s):

Branching Time ◽

Time Logic

Download Full-text

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Transition logic

Pebblings, edgings, and equational logic

Comparison of arithmetic functions with respect to boolean circuit depth

Determining equivalence of expressions in random polynomial time

Distributed elections in an archimedean ring of processors

Correcting faults in write-once memory

Optimal parallel algorithms for string matching

Probabilistic temporal logics for finite and bounded models

Automata theoretic techniques for modal logics of programs

Deciding branching time logic

Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84
Latest Publications