Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Unordered Structures


Citation: Andreas Blass, Yuri Gurevich, and Saharon Shelah, "On Polynomial Time Computation Over Unordered Structures". Journal of Symbolic Logic, to appear 2001.
Summary: A consideration of several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time, including choiceless polynomial time.
Subjects: Logic & Computability
Download: From Yuri Gurevich's home page in PostScript.
Notes: