scientific article; zbMATH DE number 3871321
From MaRDI portal
Publication:3338215
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Word problems, etc. in computability and recursion theory (03D40) Word problems (aspects of algebraic structures) (08A50) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Recommendations
Cited in
(61)- Maximal unifiable subsets and minimal non-unifiable subsets
- On unification: Equational theories are not bounded
- A class of confluent term rewriting systems and unification
- Finite generation of ambiguity in context-free languages
- Inheritance hierarchies: Semantics and unifications
- Unification theory
- Instantiation theory. On the foundations of automated deduction
- Complete sets of transformations for general E-unification
- Unification problem in equational theories
- Generalizations of unification
- Incremental constraint satisfaction for equational logic programming
- Complete sets of unifiers and matchers in equational theories
- On equational theories, unification, and (un)decidability
- Essential unifiers
- Unification theory
- Pattern unification with sequence variables and flexible arity symbols
- Mark Stickel: his earliest work
- First-order unification using variable-free relational algebra
- Unification neural networks: unification by error-correction learning
- scientific article; zbMATH DE number 4016225 (Why is no real title available?)
- On determining the causes of nonunifiability
- scientific article; zbMATH DE number 4191091 (Why is no real title available?)
- What is essential unification?
- scientific article; zbMATH DE number 3858458 (Why is no real title available?)
- scientific article; zbMATH DE number 3867289 (Why is no real title available?)
- Set unification
- scientific article; zbMATH DE number 4155934 (Why is no real title available?)
- Unification in primal algebras, their powers and their varieties
- scientific article; zbMATH DE number 3936507 (Why is no real title available?)
- scientific article; zbMATH DE number 4035119 (Why is no real title available?)
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 4085639 (Why is no real title available?)
- scientific article; zbMATH DE number 4089519 (Why is no real title available?)
- scientific article; zbMATH DE number 4092822 (Why is no real title available?)
- Unification: a multidisciplinary survey
- IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
- scientific article; zbMATH DE number 44213 (Why is no real title available?)
- scientific article; zbMATH DE number 40567 (Why is no real title available?)
- scientific article; zbMATH DE number 176128 (Why is no real title available?)
- scientific article; zbMATH DE number 1267560 (Why is no real title available?)
- Polytypic unification
- scientific article; zbMATH DE number 1332632 (Why is no real title available?)
- scientific article; zbMATH DE number 1337735 (Why is no real title available?)
- scientific article; zbMATH DE number 672020 (Why is no real title available?)
- scientific article; zbMATH DE number 3995627 (Why is no real title available?)
- scientific article; zbMATH DE number 3999263 (Why is no real title available?)
- scientific article; zbMATH DE number 2090055 (Why is no real title available?)
- Combining matching algorithms: The regular case
- Rewriting, and equational unification: the higher-order cases
- Open problems in rewriting
- E-unification based on generalized embedding
- Propositional calculus problems in CHIP
- Introduction to the special issue: Unification
- scientific article; zbMATH DE number 2232298 (Why is no real title available?)
- Computational Science – ICCS 2005
- The theory of idempotent semigroups is of unification type zero
- Unification in commutative theories
- Matching - a special case of unification?
- Unification theory
- Model-theoretic aspects of unification
- Some results on equational unification
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 Q3338215)
