scientific article; zbMATH DE number 3867289
From MaRDI portal
Publication:3335752
zbMATH Open0545.03003MaRDI QIDQ3335752FDOQ3335752
Authors: François Fages, Gérard Huet 
Publication date: 1983
Title of this publication is not available (Why is that?)
Recommendations
Cited In (25)
- What is essential unification?
- Hilbert's tenth problem is of unification type zero
- On equational theories, unification, and (un)decidability
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- E-unification based on generalized embedding
- A note on unification type zero
- Finite acyclic theories are unitary
- Characterizations of unification type zero
- Higher-order unification revisited: Complete sets of transformations
- The theory of idempotent semigroups is of unification type zero
- Unification under associativity and idempotence is of type nullary
- Matching - a special case of unification?
- Title not available (Why is that?)
- Variadic equational matching in associative and commutative theories
- Unification modulo an equality theory for equational logic programming
- Unification in varieties of idempotent semigroups
- Unification in combinations of collapse-free regular theories
- Title not available (Why is that?)
- Complete sets of unifiers and matchers in equational theories
- Narrowing based procedures for equational disunification
- History and basic features of the critical-pair/completion procedure
- Conditional equational theories and complete sets of transformations
- Unification in varieties of completely regular semigroups
- On unification: Equational theories are not bounded
- Title not available (Why is that?)
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 Q3335752)
