Is First Order Contained in an Initial Segment of PTIME?

Alexei P. Stolboushkin, Michael A. Taitslin

Browse the full CSL paper archive.