Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Zero-One Law


Citation: Andreas Blass and Yuri Gurevich, "New Zero-One Law and Strong Extension Axioms", Bulletin of EATCS, number 72, October 2000, 103-122.
Summary: A formulation of Shelah's proof of a zero-one law for the choiceless polynomial time variant of ASMs
Subjects: Logic & Computability
Download: From Yuri Gurevich's home page in PostScript.
Notes: