Fixpoint Logics, Relational Machines, and Computational Complexity (1993)

View PDF

Download Links

by Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
Venue:In Structure and Complexity
Citations:37 - 5 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
541 The complexity of relational query languages – M Y Vardi - 1982
123 Generic computation and its complexity – S Ahiteboul, V Vianu - 1991
276 Relational Queries Computable in Polynomial Time – Neil Immerman - 1986
250 Structure and Complexity of Relational Queries – Ashok Chandra, David Harel - 1982
4144 Introduction to Automata Theory, Languages, and Computation – J Hopcroft, J Ullman - 1979
231 Languages That Capture Complexity Classes – Neil Immerman - 1987
514 Finite Model Theory – H-D EBBINHAUS, J FLUM - 1999
155 Logic and the Challenge of Computer Science – Yuri Gurevich - 1988