Publication:4271920

zbMath0788.03011MaRDI QIDQ4271920

Sauro Tulipani, G. Marongiu

Publication date: 12 December 1993

zbMATH Keywords

rational trees; infinite trees; term algebras with subterm relation

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

68Q55: Semantics in the theory of computing

03B25: Decidability of theories and sets of sentences

Related Items

\(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation