Metafinite Model Theory

Citation:	Erich Grädel and Yuri Gurevich, "Metafinite Model Theory", Information and Computation, 140(1): 26-81, 10 January 1998. Previously in D. Leivant (Ed.), Logic and Computational Complexity, Selected Papers, Lecture Notes in Computer Science Nr. 960, Springer 1995, 313--366.
Summary:	The authors, motivated by computer science challenges, suggest extending the approach and methods of finite model theory beyond finite structures.
Subjects:	Logic & Computability
Download:	PostScript, PDF, Compressed PostScript
Notes:

[an error occurred while processing this directive]

Abstract State Machines