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

Maribel Fernández

Published in: LOPSTR (2023)

Keyphrases

equational theories
invited talk
knowledge discovery and data mining
theorem proving
selected papers
function symbols
program committee
relational databases
first order logic