On Rational Trees

DOI10.1007/11874683_15zbMATH Open1225.03046OpenAlexW1563289313MaRDI QIDQ3613340FDOQ3613340

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Special factors and uniqueness conditions in rational trees
• Rims of cantor trees
• Rational terms and rational numbers
• On Boolean closed full trios and rational Kripke frames
• Rational tree relations
• Title not available (Why is that?)
• Pair-sharing over rational trees
• A decision procedure for (co)datatypes in SMT solvers
• Title not available (Why is that?)
• A Decision Procedure for (Co)datatypes in SMT Solvers

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)