Definability and Transformations for Cost Logics and Automatic Structures

DOI10.1007/978-3-662-44522-8_33zbMath1426.03025OpenAlexW2283203034MaRDI QIDQ2922032

Martin Lang, Amaldev Manuel, Christof Löding

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_33

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10) Computable structure theory, computable model theory (03C57)

This page was built for publication: Definability and Transformations for Cost Logics and Automatic Structures