Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82
Latest Publications

TOTAL DOCUMENTS

82

(FIVE YEARS 0)

H-INDEX

24

(FIVE YEARS 0)

Published By ACM Press

0897910702

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The format model

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588146 ◽

1982 ◽

Author(s):

Richard Hull ◽

Chee K. Yap

Download Full-text

The complexity of propositional linear temporal logics

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/800070.802189 ◽

1982 ◽

Author(s):

A. P. Sistla ◽

E. M. Clarke

Keyword(s):

Temporal Logics

Download Full-text

Notions of dependency satisfaction

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588142 ◽

1982 ◽

Author(s):

Marc H. Graham ◽

Alberto O. Mendelzon

Download Full-text

Maintaining dense sequential files in a dynamic environment (Extended Abstract)

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/800070.802183 ◽

1982 ◽

Author(s):

Dan E. Willard

Keyword(s):

Dynamic Environment

Download Full-text

Database relations with null values

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588117 ◽

1982 ◽

Author(s):

Carlo Zaniolo

Keyword(s):

Download Full-text

The U. R. strikes back

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588114 ◽

1982 ◽

Author(s):

Jeffrey D. Ullman

Download Full-text

Foundations for multifile design by application partitioning

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588154 ◽

1982 ◽

Author(s):

Doron Rotem ◽

Frank Wm. Tompa ◽

David Kirkpatrick

Keyword(s):

Application Partitioning

Download Full-text

Trees, automata, and games

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/800070.802177 ◽

1982 ◽

Author(s):

Yuri Gurevich ◽

Leo Harrington

Download Full-text

On the random oracle hypothesis

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/800070.802195 ◽

1982 ◽

Author(s):

Stuart A. Kurtz

Keyword(s):

Download Full-text

Concurrency control in a dynamic search structure

Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 ◽

10.1145/588111.588156 ◽

1982 ◽

Author(s):

Udi Manber ◽

Richard E. Ladner

Keyword(s):

Concurrency Control ◽

Dynamic Search ◽

Search Structure

Download Full-text