Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 2 of 2 on Ph. G. Kolaitis and MY Vardi. Fixpoint logic vs. infinitary logic in finite-model....  
" Ph. G. Kolaitis and MY Vardi. Fixpoint logic vs. infinitary logic in finite-model theory. In Proc. 7th IEEE Symp. on Logic in Computer Science, pages 46-57, 1992. "
Finite Model Theory - Page 345
by Heinz-Dieter Ebbinghaus, Jörg Flum - 1999 - 360 pages
Limited preview - About this book

Computer Science Logic: 9th International Workshop, CSl '95 ..., Volume 9

Hans Kleine Buening - Computers - 1996 - 485 pages
...Relational queries computable in polynomial time. Information and Control, 68:86—104, 1986. [KV92a] Ph. G. Kolaitis and MY Vardi. Fixpoint logic vs. infinitary logic in finitemodel theory. In Proc. 7th IEEE Symp. on Logic in Computer Science, pages 46—57, 1992. [Poi82]...
Limited preview - About this book

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Computation by Abstract Devices - 2007 - 450 pages
...of higher-order properties. In Proc. 19th ACM Symp. on Theory of Computing, pages 425-435, 1987. 45. Ph. G. Kolaitis and MY Vardi. Fixpoint logic vs. infinitary logic in finitemodel theory. In Proc. 6th IEEE Symp. on Logic in Computer Science, pages 46-57, 1992. 47. Ph....
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search