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
In: 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)/Artikel-Nr.: 385-396
Identifikationsnummern
- URN: urn:nbn:de:0030-drops-26814
- DOI: 10.4230/LIPIcs.STACS.2008.1360
- RWTH PUBLICATIONS: RWTH-CONV-191011