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

Maribel Fernández

doi:10.1007/978-3-031-45784-5_1

ScienceGate Book Chapters

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

DOI: 10.1007/978-3-031-45784-5_1

Get Full-Text PDF Get Analytical Report

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

Cited By

0.00

FWCI (Field Weighted Citation Impact)

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

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

Metrics

Topics

Related Documents

Unification and Anti-unification modulo Equational Theories

Nominal anti-unification modulo equational theories

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories

Equational Reasoning Modulo Commutativity in Languages with Binders

Unification in conditional-equational theories