Variant-based equational anti-unification
type: Item
instance of: scholarly article
title: Variant-based equational anti-unification
zbMATH Open document ID: 1522.68251
DOI: 10.1007/978-3-031-16767-6_3
author: María Alpuente
author: D. Ballis
author: Santiago Escobar
author: Julia Sapiña
published in: Logic-Based Program Synthesis and Transformation
publication date: 2023-06-02T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 7691340
MaRDI profile type: MaRDI publication profile
cites work: A modular order-sorted equational generalization algorithm
cites work: Order-sorted equational generalization algorithm revisited
cites work: E-generalization using grammars
cites work: Idempotent Anti-unification
cites work: Term Rewriting and Applications
cites work: Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
cites work: Folding variant narrowing and optimal variant termination
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Anti-unification for unranked terms and hedges
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Strict coherence of conditional rewriting modulo axioms
cites work: Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
cites work: Similarity measures over refinement graphs
cites work: Q5624681
cites work: Q5624680
cites work: Q4799892
Recommended article: Variant Narrowing and Equational Unification
Recommended article: Q5020960
Recommended article: Q4993338
Recommended article: Variadic equational matching
Recommended article: Single versus simultaneous equational unification and equational unification for variable-permuting theories
Recommended article: Variadic equational matching in associative and commutative theories
Recommended article: Some results on equational unification
Recommended article: Q4889844
Recommended article: Narrowing based procedures for equational disunification
Recommended article: Unification problem in equational theories
description: scientific article; zbMATH DE number 7691340