Partial fixed-point logic on infinite structures
Kreutzer, Stephan
Berlin [u.a.] : Springer (2002)
Contribution to a book, Contribution to a conference proceedings
In: Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings / Julian Bradfield (ed.)
Page(s)/Article-Nr.: 337-351
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1007/3-540-45793-3_23
- RWTH PUBLICATIONS: RWTH-CONV-189097