scientific article; zbMATH DE number 4049128

zbMATH Open0643.68135MaRDI QIDQ3786017FDOQ3786017

Hans-Jürgen Bürckert

Publication date: 1986

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cited In (10)

• On equational theories, unification, and (un)decidability
• Complete sets of transformations for general E-unification
• Unification theory
• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
• Matching - a special case of unification?
• Unification in a combination of arbitrary disjoint equational theories
• Combining matching algorithms: The regular case
• An algebraic glimpse at bunched implications and separation logic
• Reduction rules for resolution-based systems
• Unification problem in equational theories

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 Q3786017)