scientific article; zbMATH DE number 2079035

zbMATH Open1044.68539MaRDI QIDQ4474847FDOQ4474847

Authors: K. U. Schulz 

Publication date: 21 July 2004

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (4)

• Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
• Title not available (Why is that?)
• Unification modulo lists with reverse relation with certain word equations
• Variants and satisfiability in the infinitary unification wonderland

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)