Variant-based equational anti-unification

DOI10.1007/978-3-031-16767-6_3zbMATH Open1522.68251MaRDI QIDQ6160760FDOQ6160760

Authors: María Alpuente, D. Ballis, Santiago Escobar, Julia Sapiña 

Publication date: 2 June 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional rewriting logic as a unified model of concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Similarity measures over refinement graphs
• Term Rewriting and Applications
• Folding variant narrowing and optimal variant termination
• Strict coherence of conditional rewriting modulo axioms
• A modular order-sorted equational generalization algorithm
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Built-in variant generation and unification, and their applications in Maude 2.7
• Order-sorted equational generalization algorithm revisited
• Idempotent anti-unification
• Anti-unification for unranked terms and hedges
• E-generalization using grammars

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)