Size and Computation of Injective Tree Automatic Presentations

DOI10.1007/978-3-642-22993-0_39zbMath1343.03029OpenAlexW116367217MaRDI QIDQ3088059

Thomas Weidner, Dietrich Kuske

Publication date: 17 August 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_39

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Computable structure theory, computable model theory (03C57)

Related Items (2)

Tree-automatic scattered linear orders ⋮ AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES

This page was built for publication: Size and Computation of Injective Tree Automatic Presentations