Theory of finite or infinite trees revisited

DOI10.1017/S1471068407003171zbMATH Open1148.68043MaRDI QIDQ3514890FDOQ3514890

Authors: Khalil Djelloul, Thi-Bich-Hanh Dao, Thom Frühwirth 

Publication date: 23 July 2008

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Recommendations

• Extension of First-Order Theories into Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Expressiveness of full first-order constraints in the algebra of finite or infinite trees
• Frontiers of Combining Systems

zbMATH Keywords

complete theoryrewriting ruleslogical first-order formulatheory of finite or infinite trees

Mathematics Subject Classification ID

Trees (05C05) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

Cites Work

• Term Rewriting and All That

Cited In (25)

• On the bounded theories of finite trees
• Asymmetrization of infinite trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• New Computational Paradigms
• Title not available (Why is that?)
• A complete axiomatization of strict equality
• Frontiers of Combining Systems
• An improved lower bound for the elementary theories of trees
• Title not available (Why is that?)
• A Full First-Order Constraint Solver for Decomposable Theories
• Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses
• A full first-order constraint solver for decomposable theories
• From decomposable to residual theories
• A decision procedure for (co)datatypes in SMT solvers
• A decision procedure for (co)datatypes in SMT solvers
• A first-order axiomatization of the theory of finite trees
• An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
• Expressiveness of full first-order constraints in the algebra of finite or infinite trees
• Extension of First-Order Theories into Trees
• Implicit renewal theorem for trees with general weights
• Finite tree property for first-order logic with identity and functions
• A logical framework with higher-order rational (circular) terms
• Representations of infinite tree sets
• And/Or Trees Revisited

This page was built for publication: Theory of finite or infinite trees revisited

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