Preservation theorems for two-variable logic
Grädel, Erich; Rosen, Eric
Weinheim : Wiley-VCH (1999)
Journal Article
In: Mathematical logic quarterly : MLQ
Volume: 45
Issue: 3
Page(s)/Article-Nr.: 315-325
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1002/malq.19990450304
- RWTH PUBLICATIONS: RWTH-CONV-021656