Partial fixed-point logic on infinite structures

Berlin [u.a.] / Springer (2002) [Beitrag zu einem Tagungsband]

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.)
Seite(n): 337-351

Autorinnen und Autoren

Autorinnen und Autoren

Kreutzer, Stephan

Identifikationsnummern