[an error occurred while processing this directive] [an error occurred while processing this directive]

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:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/zeroone.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT