Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory

Cost monadic logic extends monadic second-order logic with the ability to measure the cardinality of sets and comes with decision procedures for boundedness related questions. We provide new decidability results allowing the systematic investigation of questions involving "relative boundedness&...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 123
1. Verfasser:	Colcombet, Thomas
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2013
Schlagworte:	Automata Context Games Set theory Syntactics Upper bound
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!