Sign in
Proof Nets for Herbrand's Theorem.
Richard McKinley
Published in:
ACM Trans. Comput. Log. (2013)
Keyphrases
</>
interactive theorem proving
logic programs
logic programming
first order logic
theorem proving
theorem prover
horn clauses
decision making
multiscale
data sets
linear logic
proof theoretic
mathematical proofs
declarative semantics
digital topology
intuitionistic logic
genetic algorithm