𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sequent reconstruction in LLM—A sweepline proof

✍ Scribed by R. Banach

Book ID
103601763
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
936 KB
Volume
73
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Reconstruction of Proofs in Distr
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
✍ MARIA PAOLA BONACINA 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti