Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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: