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, 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.
McColm, Gregory L.
1990.
When is arithmetic possible?.
Annals of Pure and Applied Logic,
Vol. 50,
Issue. 1,
p.
29.
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.
Immerman, Neil
and
Lander, Eric
1990.
Complexity Theory Retrospective.
p.
59.
Kolaitis, P.G.
and
Vardi, M.Y.
1990.
0-1 laws for infinitary logics.
p.
156.
Kolaitis, P.G.
and
Vardi, M.Y.
1992.
Fixpoint logic vs. infinitary logic in finite-model theory.
p.
46.
Kolaitis, Phokion G.
and
Vardi, Moshe Y.
1992.
Automata, Languages and Programming.
Vol. 623,
Issue. ,
p.
450.
Gradel, E.
and
McColm, G.L.
1992.
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.
p.
167.
Kolaitis, P.G.
and
Vaananen, J.A.
1992.
Generalized quantifiers and pebble games on finite structures.
p.
348.
Abiteboul, Serge
Vardi, Moshe
and
Vianu, Victor
1992.
Database Theory — ICDT '92.
Vol. 646,
Issue. ,
p.
113.
Flum, Jörg
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
111.
Kolaitis, Phokion G.
and
Vardi, Moshe Y.
1992.
Infinitary logics and 0–1 laws.
Information and Computation,
Vol. 98,
Issue. 2,
p.
258.
Grädel, Erich
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
149.
Bosse, Uwe
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
100.
Abiteboul, Serge
and
Vianu, Victor
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
606.
Abiteboul, S.
Papadimitrou, C.H.
and
Vianu, V.
1994.
The power of reflective relational machines.
p.
230.