scientific article; zbMATH DE number 3867289
From MaRDI portal
Publication:3335752
Recommendations
Cited in
(25)- A note on unification type zero
- On equational theories, unification, and (un)decidability
- scientific article; zbMATH DE number 3874585 (Why is no real title available?)
- Conditional equational theories and 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?
- Unification in varieties of completely regular semigroups
- Finite acyclic theories are unitary
- Complete sets of unifiers and matchers in equational theories
- scientific article; zbMATH DE number 4099397 (Why is no real title available?)
- Variadic equational matching in associative and commutative theories
- On unification: Equational theories are not bounded
- Unification modulo an equality theory for equational logic programming
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Hilbert's tenth problem is of unification type zero
- scientific article; zbMATH DE number 7333179 (Why is no real title available?)
- What is essential unification?
- History and basic features of the critical-pair/completion procedure
- Unification in varieties of idempotent semigroups
- Characterizations of unification type zero
- Unification in combinations of collapse-free regular theories
- Higher-order unification revisited: Complete sets of transformations
- E-unification based on generalized embedding
- Narrowing based procedures for equational disunification
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)
