Publication:5111228

From MaRDI portal

Jump to:navigation, search

DOI10.4230/LIPIcs.MFCS.2017.14zbMath1441.68127MaRDI QIDQ5111228

Publication date: 26 May 2020

zbMATH Keywords

weighted logics; nested weighted automata; monitor logics; quantitative monitor automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B70: Logic in computer science

03D05: Automata and formal grammars in connection with logical questions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111228&oldid=19628277"