Is First Order Contained in an Initial Segment of PTIME?

• Authors:

• Alexei P. Stolboushkin;Michael A. Taitslin

• Affiliations:

• -;-

• Venue:
• CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
• Year:
• 1994