Infinitary Logic for Computer Science

Authors:
Phokion G. Kolaitis;Moshe Y. Vardi
Affiliations:
-;-
Venue:
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Year:
1992

Citing 0
Cited 2

On the complexity of bounded-variable queries (extended abstract)

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of variable-confined logics

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract