Lindström quantifiers and leaf language definability

Bibliographische Detailangaben

Hauptverfasser:	Burtschick, Hans-Jörg (VerfasserIn), Vollmer, Heribert 1964- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik 1995
Schriftenreihe:	Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1995,33
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!