Variant-based equational anti-unification
From MaRDI portal
Publication:6160760
Recommendations
- Variant narrowing and equational unification
- scientific article; zbMATH DE number 7455704
- Higher-order equational pattern anti-unification
- Variadic equational matching
- Single versus simultaneous equational unification and equational unification for variable-permuting theories
- Variadic equational matching in associative and commutative theories
- Some results on equational unification
- scientific article; zbMATH DE number 914131
- Narrowing based procedures for equational disunification
- Unification problem in equational theories
Cites work
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3349328 (Why is no real title available?)
- scientific article; zbMATH DE number 3349329 (Why is no real title available?)
- A modular order-sorted equational generalization algorithm
- Anti-unification for unranked terms and hedges
- Built-in variant generation and unification, and their applications in Maude 2.7
- Conditional rewriting logic as a unified model of concurrency
- E-generalization using grammars
- Folding variant narrowing and optimal variant termination
- Idempotent anti-unification
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Order-sorted equational generalization algorithm revisited
- Similarity measures over refinement graphs
- Strict coherence of conditional rewriting modulo axioms
- Term Rewriting and Applications
Cited in
(2)
This page was built for publication: Variant-based equational anti-unification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160760)
