Cardinality and counting quantifiers on omega-automatic structures

Kaiser, Lukasz; Rubin, Sasha; Bárány, Vince

Dagstuhl / Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) (2008) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science : Bordeaux, France, February 21-23, 2008 / Susanne Albers, Pascal Weil (Eds.)
Seite(n): 385-396

Identifikationsnummern