JOURNAL ARTICLE
Nominal anti-unification modulo equational theories
Alexander BaumgärtnerDaniele Nantes-Sobrinho
Year: 2025 Journal: Journal of Logical and Algebraic Methods in Programming Vol: 149 Pages: 101100-101100 Publisher: Elsevier BV
Keywords:
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
23
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Related Documents
JOURNAL ARTICLE
Unification and Anti-unification modulo Equational Theories
Journal: EPiC series in computing Year: 2018 Vol: 19
BOOK-CHAPTER
Equational Anti-unification over Absorption Theories
Maurício Ayala-RincónDavid M. CernaA. GonzálezTemur Kutsia
Lecture notes in computer science Year: 2024 Pages: 317-337
JOURNAL ARTICLE
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories
Journal: Discrete Mathematics & Theoretical Computer Science Year: 2000 Vol: Vol. 4 no. 1
BOOK-CHAPTER
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk)
Lecture notes in computer science Year: 2023 Pages: 3-6
BOOK-CHAPTER
Unification in conditional-equational theories
Lecture notes in computer science Year: 1985 Pages: 543-553