Login / Signup
Unification Modulo Synchronous Distributivity.
Siva Anantharaman
Serdar Erbatur
Christopher Lynch
Paliath Narendran
Michaë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