Metafinite model theory
Grädel, Erich; Gurevich, Yuri
Orlando, Fla : Academic Press [u.a.] (1998)
Journal Article
In: Information and computation
Volume: 140
Issue: 1
Page(s)/Article-Nr.: 26-81
Identifier
- DOI: 10.1006/inco.1997.2675
- RWTH PUBLICATIONS: RWTH-CONV-084999