Login / Signup
Importing SMT and Connection proofs as expansion trees.
Giselle Reis
Published in:
PxTP@CADE (2015)
Keyphrases
</>
decision trees
statistical machine translation
theorem prover
theorem proving
tree construction
tree structure
tree structures
mathematical proofs
information systems
inference rules
machine translation system
compact representations
meta information
equational theories