What is essential unification?
From MaRDI portal
Recommendations
Cites work
- A Computing Procedure for Quantification Theory
- A Machine-Oriented Logic Based on the Resolution Principle
- A Noetherian and confluent rewrite system for idempotent semigroups
- A note on unification type zero
- A Proof Method for Quantification Theory: Its Justification and Realization
- A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
- An improved proof procedure1
- Beweisalgorithmen für die Prädikatenlogik
- Comparing instance generation methods for automated reasoning
- Complete sets of unifiers and matchers in equational theories
- Complexity of unification problems with associative-commutative operators
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- Dismatching and local disunification in \(\mathcal {EL}\)
- Eliminating dublication with the hyper-linking strategy
- Essential unifiers
- Hilbert's Tenth Problem is Unsolvable
- scientific article; zbMATH DE number 3843132 (Why is no real title available?)
- scientific article; zbMATH DE number 3871321 (Why is no real title available?)
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3904557 (Why is no real title available?)
- scientific article; zbMATH DE number 3688778 (Why is no real title available?)
- scientific article; zbMATH DE number 8327 (Why is no real title available?)
- scientific article; zbMATH DE number 3552814 (Why is no real title available?)
- scientific article; zbMATH DE number 1346496 (Why is no real title available?)
- scientific article; zbMATH DE number 475429 (Why is no real title available?)
- scientific article; zbMATH DE number 1114333 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1927411 (Why is no real title available?)
- scientific article; zbMATH DE number 1535398 (Why is no real title available?)
- scientific article; zbMATH DE number 1737190 (Why is no real title available?)
- scientific article; zbMATH DE number 7015114 (Why is no real title available?)
- scientific article; zbMATH DE number 3329004 (Why is no real title available?)
- scientific article; zbMATH DE number 3329005 (Why is no real title available?)
- scientific article; zbMATH DE number 3329006 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- scientific article; zbMATH DE number 3344563 (Why is no real title available?)
- scientific article; zbMATH DE number 3350192 (Why is no real title available?)
- scientific article; zbMATH DE number 3413831 (Why is no real title available?)
- scientific article; zbMATH DE number 3424272 (Why is no real title available?)
- Hybrid unification in the description logic \(\mathcal{EL}\)
- Makanin's algorithm for word equations-two improvements and a generalization
- Minimal and complete word unification
- Nominal unification
- On equations in free semigroups and groups
- On word equations in one variable
- One-variable word equations in linear time
- Satisfiability of word equations with constants is in PSPACE
- Term Rewriting and All That
- The decision problem for exponential diophantine equations
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- The theory of idempotent semigroups is of unification type zero
- Toward Mechanical Mathematics
- Unification in modal and description logics
- Unification theory
- Unification theory
- Unification under associativity and idempotence is of type nullary
- Unification: a multidisciplinary survey
- Word equations with one unknown
- Word unification and transformation of generalized equations
Cited in
(5)- Refinement of bounds of the height of terms in the most general unifier
- A note on unification, subsumption and unification type
- scientific article; zbMATH DE number 3858458 (Why is no real title available?)
- Unification, weak unification, upper bound, lower bound, and generalization problems
- E-unification based on generalized embedding
This page was built for publication: What is essential unification?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305325)
