Weighted Automata and Logics on Graphs
From MaRDI portal
Publication:2946335
DOI10.1007/978-3-662-48057-1_15zbMath1465.68140MaRDI QIDQ2946335
Publication date: 16 September 2015
Published in: Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48057-1_15
weighted automata; quantitative logic; quantitative automata; weighted logic; Büchi-type equivalence; graph acceptors; Nivat theorem
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions