Login / Signup
Formalizing a Named Explicit Substitutions Calculus in Coq.
Washington de Carvalho Segundo
Flávio L. C. de Moura
Daniel Ventura
Published in:
CICM Workshops (2014)
Keyphrases
</>
theorem prover
automated deduction
formal methods
neural network
knowledge representation
expressive power
sequence alignment
provably correct