BOOK-CHAPTER

Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk)

Maribel Fernández

Year: 2023 Lecture notes in computer science Pages: 3-6   Publisher: Springer Science+Business Media
Keywords:
Unification Modulo Equational logic Axiom Computer science Commutative property Associative property Programming language Matching (statistics) Rule of inference Logic programming Algebra over a field Type inference Theoretical computer science Algorithm Discrete mathematics Inference Mathematics Pure mathematics Artificial intelligence Rewriting

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
31
Refs
0.38
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Unification and Anti-unification modulo Equational Theories

Santiago Escobar

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

Nominal anti-unification modulo equational theories

Alexander BaumgärtnerDaniele Nantes-Sobrinho

Journal:   Journal of Logical and Algebraic Methods in Programming Year: 2025 Vol: 149 Pages: 101100-101100
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.