Quantitative Monadic Second-Order Logic

While monadic second-order logic is a prominent logic for specifying languages of finite words, it lacks the power to compute quantitative properties, e.g. to count. An automata model capable of computing such properties are weighted automata, but logics equivalent to these automata have only recent...

Celý popis

Podrobná bibliografia

Vydané v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 113 - 122
Hlavní autori:	Kreutzer, Stephan, Riveros, Cristian
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2013
Predmet:	Automata Complexity theory Computational modeling Computer science Semantics Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!