Sign in

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