Login / Signup
Obtaining an ACL2 Specification from an Isabelle/HOL Theory.
Jesús Aransay-Azofra
Jose Divasón
Jónathan Heras
Laureano Lambán
María Vico Pascual
Ángel Luis Rubio
Julio Rubio
Published in:
AISC (2014)
Keyphrases
</>
theorem prover
formal methods
natural deduction
theoretical foundation
theoretical basis
higher order logic
data sets
general theory
formal semantics
theorem proving
theoretical framework
information theory
first order logic
speech acts
computational model
information systems
neural network