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...

Full description

Saved in:

Bibliographic Details
Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 113 - 122
Main Authors:	Kreutzer, Stephan, Riveros, Cristian
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	Automata Complexity theory Computational modeling Computer science Semantics Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!