scientific article; zbMATH DE number 2079035

MaRDI QIDQ4474847zbMATH OpenFDO

Authors K. U. Schulz

Publication date 21 July 2004

Mathematics Subject Classification ID

Logic programming (68N17) Decidability of theories and sets of sentences (03B25)

Recommendations

• Combination techniques and decision problems for disunification
• Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
• Finite and Rational Tree Constraints
• Combination techniques and decision problems for disunification
• scientific article; zbMATH DE number 4055021

Cited in

(4)

• Unification modulo lists with reverse relation with certain word equations
• Variants and satisfiability in the infinitary unification wonderland
• scientific article; zbMATH DE number 3858451 (Why is no real title available?)
• Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory

This page was built for publication:

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