scientific article; zbMATH DE number 4049128
From MaRDI portal
Publication:3786017
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)
