Recommendations
Cites work
- A complete proof of correctness of the Knuth-Bendix completion algorithm
- A note on a canonical theory with undecidable unification and matching problem
- Algebraically closed commutative rings
- Algebraically complete lattices
- Automatic proofs by induction in theories without constructors
- Bemerkung über Elimination in beliebigen Mengen mit Operationen. Erhard Schmidt zum 75. Geburtstag gewidmet
- Decidable Model Companions
- Forcing, arithmetic, division rings
- scientific article; zbMATH DE number 3539209 (Why is no real title available?)
- Introduction to model theory and to the metamathematics of algebra
- LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
- Model theoretic algebra. Selected topics
- Model-completions and modules
- On algebraically closed groups
- On the metamathematics of algebra
- Transfinite extensions of Friedberg's completeness criterion
- Über die Lösbarkeit allgemeiner algebraischer Gleichungssysteme und einige weitere Fragen
- Unification theory
- Unification: a multidisciplinary survey
Cited in
(12)- Instantiation theory. On the foundations of automated deduction
- Unification problem in equational theories
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
- Unification: a multidisciplinary survey
- IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
- scientific article; zbMATH DE number 1222419 (Why is no real title available?)
- Unification through projectivity
- Introduction to the special issue: Unification
- Inner Models of Univalence
- Automata, Languages and Programming
- scientific article; zbMATH DE number 2209392 (Why is no real title available?)
- Algebraic and logical aspects of unification
This page was built for publication: Model-theoretic aspects of unification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6169563)
