Login / Signup

Unification Modulo Synchronous Distributivity.

Siva AnantharamanSerdar ErbaturChristopher LynchPaliath NarendranMichaël Rusinowitch
Published in: IJCAR (2012)
Keyphrases
  • higher order
  • theorem proving
  • asynchronous communication
  • equational theories
  • neural network
  • theorem prover
  • data mining
  • metadata
  • database systems
  • domain knowledge
  • automated theorem proving
  • knuth bendix