Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kolaitis, Phokion G.
1985.
Logics of Programs.
Vol. 193,
Issue. ,
p.
153.
De Rougemont, Michel
1987.
Second‐order and Inductive Definability on Finite Structures.
Mathematical Logic Quarterly,
Vol. 33,
Issue. 1,
p.
47.
Immerman, Neil
and
Kozen, Dexter
1989.
Definability with bounded number of bound variables.
Information and Computation,
Vol. 83,
Issue. 2,
p.
121.
Kolaitis, P.G.
and
Vardi, M.Y.
1990.
0-1 laws for infinitary logics.
p.
156.
McColm, Gregory L.
1990.
When is arithmetic possible?.
Annals of Pure and Applied Logic,
Vol. 50,
Issue. 1,
p.
29.
Immerman, Neil
and
Lander, Eric
1990.
Complexity Theory Retrospective.
p.
59.
Kolaitis, Phokion G.
and
Vardi, Moshe Y.
1990.
On the expressive power of datalog.
p.
61.
McColm, Gregory L.
1990.
Parametrization over inductive relations of a bounded number of variables.
Annals of Pure and Applied Logic,
Vol. 48,
Issue. 2,
p.
103.
Compton, Kevin J.
and
Ward Henson, C.
1990.
A uniform method for proving lower bounds on the computational complexity of logical theories.
Annals of Pure and Applied Logic,
Vol. 48,
Issue. 1,
p.
1.
Kolaitis, P.G.
and
Vaananen, J.A.
1992.
Generalized quantifiers and pebble games on finite structures.
p.
348.
Kolaitis, Phokion G.
and
Vardi, Moshe Y.
1992.
Infinitary logics and 0–1 laws.
Information and Computation,
Vol. 98,
Issue. 2,
p.
258.
Flum, Jörg
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
111.
Kolaitis, Phokion G.
and
Vardi, Moshe Y.
1992.
Automata, Languages and Programming.
Vol. 623,
Issue. ,
p.
450.
Abiteboul, Serge
Vardi, Moshe
and
Vianu, Victor
1992.
Database Theory — ICDT '92.
Vol. 646,
Issue. ,
p.
113.
Grädel, Erich
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
149.
Gradel, E.
and
McColm, G.L.
1992.
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.
p.
167.
Kolaitis, P.G.
and
Vardi, M.Y.
1992.
Fixpoint logic vs. infinitary logic in finite-model theory.
p.
46.
Abiteboul, Serge
and
Vianu, Victor
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
606.
Bosse, Uwe
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
100.
Tyszkiewicz, Jerzy
1994.
Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic.
Random Structures & Algorithms,
Vol. 5,
Issue. 1,
p.
215.