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

Santiago Escobar

Journal:   EPiC series in computing Year: 2018 Vol: 19
JOURNAL ARTICLE

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories

Alexandre Boudet

Journal:   Discrete Mathematics & Theoretical Computer Science Year: 2000 Vol: Vol. 4 no. 1
BOOK-CHAPTER

Unification in conditional-equational theories

Heinrich Hußmann

Lecture notes in computer science Year: 1985 Pages: 543-553
© 2026 ScienceGate Book Chapters — All rights reserved.