scientific article; zbMATH DE number 4049130
From MaRDI portal
Publication:3786019
Recommendations
- scientific article; zbMATH DE number 4112560
- Combining unification algorithms
- Unification in the union of disjoint equational theories: Combining decision procedures
- Unification in a combination of equational theories: an efficient algorithm
- Unification in combinations of collapse-free regular theories
Cited in
(36)- Associative-commutative unification
- Unification in combinations of collapse-free regular theories
- Unification in Boolean rings
- Completion for unification
- Combining matching algorithms: The regular case
- Unification problem in equational theories
- Combining unification algorithms
- Boolean unification - the story so far
- On equational theories, unification, and (un)decidability
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Unification algorithms cannot be combined in polynomial time.
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
- scientific article; zbMATH DE number 1722699 (Why is no real title available?)
- scientific article; zbMATH DE number 3871334 (Why is no real title available?)
- Set unification
- Combining equational reasoning
- scientific article; zbMATH DE number 3945372 (Why is no real title available?)
- scientific article; zbMATH DE number 3957052 (Why is no real title available?)
- scientific article; zbMATH DE number 4047179 (Why is no real title available?)
- scientific article; zbMATH DE number 4049131 (Why is no real title available?)
- scientific article; zbMATH DE number 4112560 (Why is no real title available?)
- scientific article; zbMATH DE number 1324441 (Why is no real title available?)
- scientific article; zbMATH DE number 1552528 (Why is no real title available?)
- Unification algorithms cannot be combined in polynomial time
- Combining matching algorithms: The regular case
- Modular higher-order E-unification
- Unification in a combination of arbitrary disjoint equational theories
- Matching - a special case of unification?
- A new approach to general E-unification based on conditional rewriting systems
- Second-order unification in the presence of linear shallow algebraic equations
- Unification Modulo Builtins
- Automata-driven efficient subterm unification
- Unification theory
- Model-theoretic aspects of unification
- Fuzzy similarity and proximity constraint solving in theories with unordered symbols
- A practical unification algorithm
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 Q3786019)
