Is First Order Contained in an Initial Segment of PTIME?

Alexei P. Stolboushkin, Michael A. Taitslin. Is First Order Contained in an Initial Segment of PTIME?. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 242-248, Springer, 1994.

No reviews for this publication, yet.