Unification theory
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4018352 (Why is no real title available?)
- scientific article; zbMATH DE number 3864476 (Why is no real title available?)
- scientific article; zbMATH DE number 3878393 (Why is no real title available?)
- scientific article; zbMATH DE number 3924086 (Why is no real title available?)
- scientific article; zbMATH DE number 3941518 (Why is no real title available?)
- scientific article; zbMATH DE number 3986613 (Why is no real title available?)
- scientific article; zbMATH DE number 3986669 (Why is no real title available?)
- scientific article; zbMATH DE number 4072435 (Why is no real title available?)
- scientific article; zbMATH DE number 3179521 (Why is no real title available?)
- scientific article; zbMATH DE number 3654207 (Why is no real title available?)
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 3731310 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3755912 (Why is no real title available?)
- scientific article; zbMATH DE number 3784848 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 3513289 (Why is no real title available?)
- scientific article; zbMATH DE number 3552814 (Why is no real title available?)
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 2021555 (Why is no real title available?)
- scientific article; zbMATH DE number 3797184 (Why is no real title available?)
- scientific article; zbMATH DE number 749931 (Why is no real title available?)
- scientific article; zbMATH DE number 3444822 (Why is no real title available?)
- scientific article; zbMATH DE number 1442964 (Why is no real title available?)
- scientific article; zbMATH DE number 3212023 (Why is no real title available?)
- scientific article; zbMATH DE number 3332449 (Why is no real title available?)
- scientific article; zbMATH DE number 3362981 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- scientific article; zbMATH DE number 3092551 (Why is no real title available?)
- A Noetherian and confluent rewrite system for idempotent semigroups
- A fast string searching algorithm
- An Algorithm for Subgraph Isomorphism
- An improved proof procedure1
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
- Fast Decision Procedures Based on Congruence Closure
- GIT—a heuristic program for testing pairs of directed line graphs for isomorphism
- History and basic features of the critical-pair/completion procedure
- Initial Algebra Semantics and Continuous Algebras
- Investigations in many-sorted quantor logic
- Resolution in type theory
- SNOBOL , A String Manipulation Language
- Semantics-Based Translation Methods for Modal Logics
- Semi-Automated Mathematics
- Symbolic integration
- The Concept of Demodulation in Theorem Proving
- The decision problem for equational bases of algebras
Cited in
(71)- Implementation of a UU-algorithm for primitive recursive tree functions
- What is essential unification?
- Set-term unification in a logic database language
- Extensions of unification modulo ACUI
- Towards automated deduction in cP systems
- scientific article; zbMATH DE number 40567 (Why is no real title available?)
- Unification in pseudo-linear sort theories is decidable
- Formalising nominal C-unification generalised with protected variables
- Constraints for polymorphic behaviours of concurrent ML
- Some results on equational unification
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
- A new method for undecidability proofs of first order theories
- An order-sorted logic for knowledge representation systems
- Unification in partially commutative semigroups
- Unification in commutative rings is not finitary
- Conditional equational theories and complete sets of transformations
- Order-sorted unification
- Reduction of cycle unification of type \(Cpg+r\)
- Semi-unification of two terms in Abelian groups
- Unification in free distributive lattices
- Incremental constraint satisfaction for equational logic programming
- Unification in varieties of completely regular semigroups
- A formal semantics for DAI language NUML
- Best solving modal equations
- Complete equational unification based on an extension of the Knuth-Bendix completion procedure
- Combining matching algorithms: The regular case
- Hyper tableaux
- scientific article; zbMATH DE number 4155934 (Why is no real title available?)
- Unification and Passive Inference Rules for Modal Logics
- Undecidable properties of syntactic theories
- Unification in commutative semigroups
- Generalizations of unification
- Variadic equational matching in associative and commutative theories
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Analogical projection in pattern perception
- A Modular Equational Generalization Algorithm
- A combinatory logic approach to higher-order E-unification
- The unification hierarchy is undecidable
- Order-sorted generalization
- Discriminator varieties and symbolic computation
- Unification neural networks: unification by error-correction learning
- Essential unifiers
- Algebraic and logical aspects of unification
- Retrieving library identifiers via equational matching of types
- Hilbert's tenth problem is of unification type zero
- Unification in permutative equational theories is undecidable
- Unification in sort theories and its applications
- A compositional semantic basis for the analysis of equational Horn programs
- Termination of narrowing revisited
- scientific article; zbMATH DE number 4049129 (Why is no real title available?)
- Pattern-directed invocation with changing equations
- A unification-theoretic method for investigating the \(k\)-provability problem
- A modular order-sorted equational generalization algorithm
- Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case
- Category equivalence preserves unification type
- Model-theoretic aspects of unification
- Linear and unit-resulting refutations for Horn theories
- An algorithm for distributive unification
- Word unification and transformation of generalized equations
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Complexity of unification problems with associative-commutative operators
- A decision algorithm for distributive unification
- The Kreisel length-of-proof problem
- A formalisation of nominal C-matching through unification with protected variables
- Unification theory
- Using types as search keys in function libraries
- E-unification based on generalized embedding
- Anti-unification and the theory of semirings
- Termination by absence of infinite chains of dependency pairs
- Higher order E-unification
- Retrieving library functions by unifying types modulo linear isomorphism
This page was built for publication: Unification theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1124375)
