Login / Signup

with Sorts for Some Separable Equational Theories.

Christopher LynchBarbara Morawska
Published in: RTA (2005)
Keyphrases
  • equational theories
  • theorem proving
  • function symbols
  • databases
  • database
  • artificial intelligence
  • bayesian networks
  • relational databases
  • first order logic