Characterizations of Weighted First-Order Logics over Semirings

DOI10.1007/978-3-642-40663-8_23zbMath1398.68321OpenAlexW105452301MaRDI QIDQ2850020

Eleni Mandrali, George Rahonis

Publication date: 20 September 2013

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40663-8_23

zbMATH Keywords

counter-free weighted Büchi automatastar-free seriesweighted FO logicweighted LTL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (1)

On weighted first-order logics with discounting

This page was built for publication: Characterizations of Weighted First-Order Logics over Semirings