On Rational Trees

DOI10.1007/11874683_15MaRDI QIDQ3613340zbMATH OpenOpenAlexFDO

Authors Arnaud Carayol, Christophe Morvan

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_15

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05) Trees (05C05) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 1512622
• scientific article; zbMATH DE number 2102748
• On infinite transition graphs having a decidable monadic theory
• scientific article; zbMATH DE number 2086614
• Recursively defined tree transductions

Cited in

(11)

• Rational tree relations
• Rational terms and rational numbers
• Rims of cantor trees
• A decision procedure for (co)datatypes in SMT solvers
• On Boolean closed full trios and rational Kripke frames
• A decision procedure for (co)datatypes in SMT solvers
• Pair-sharing over rational trees
• scientific article; zbMATH DE number 4121414 (Why is no real title available?)
• scientific article; zbMATH DE number 2086614 (Why is no real title available?)
• Special factors and uniqueness conditions in rational trees
• A class of rational trace relations closed under composition

This page was built for publication: On Rational Trees

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