Regular temporal cost functions

DOI10.1007/978-3-642-14162-1_47MaRDI QIDQ3587468zbMATH OpenOpenAlexFDO

Authors Thomas Colcombet, Denis Kuperberg, Sylvain Lombardy

Publication date 7 September 2010

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14162-1_47

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Linear temporal logic for regular cost functions
• Linear temporal logic for regular cost functions
• Regular cost functions. I: Logic and algebra over words
• On the Expressive Power of Cost Logics over Infinite Words
• Regular functions and cost register automata (invited paper)

Cited in

(2)

• Linear temporal logic for regular cost functions
• Linear temporal logic for regular cost functions

This page was built for publication: Regular temporal cost functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587468)