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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897910702

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The U. R. strikes back

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

10.1145/588111.588114 ◽

1982 ◽

Cited By ~ 26

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 ◽

Cited By ~ 1

Author(s):

Doron Rotem ◽

Frank Wm. Tompa ◽

David Kirkpatrick

Keyword(s):

Application Partitioning

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 18

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 ◽

Cited By ~ 23

Author(s):

Carlo Zaniolo

Keyword(s):

Null Values

Download Full-text

The format model

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

10.1145/588111.588146 ◽

1982 ◽

Cited By ~ 4

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 ◽

Cited By ~ 29

Author(s):

A. P. Sistla ◽

E. M. Clarke

Keyword(s):

Temporal Logics

Download Full-text

Symmetric complementation

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

10.1145/800070.802193 ◽

1982 ◽

Cited By ~ 7

Author(s):

John H. Reif

Download Full-text

How to assemble tree machines (Extended Abstract)

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

10.1145/800070.802179 ◽

1982 ◽

Cited By ~ 4

Author(s):

Sandeep N. Bhatt ◽

Charles E. Leiserson

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 ◽

Cited By ~ 120

Author(s):

Yuri Gurevich ◽

Leo Harrington

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

The U. R. strikes back

Foundations for multifile design by application partitioning

Notions of dependency satisfaction

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

Database relations with null values

The format model

The complexity of propositional linear temporal logics

Symmetric complementation

How to assemble tree machines (Extended Abstract)

Trees, automata, and games

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