1284 search results - page 1 / 257 » On Helping and Interactive Proof Systems |
ISAAC
1994
Springer
13 years 10 months ago
1994
Springer
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
CSL
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
INTERACTIONS
2007
13 years 6 months ago
2007
SAT
2009
Springer
14 years 24 days ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...