𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proofs as processes

✍ Scribed by Samson Abramsky

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
357 KB
Volume
135
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proofs as Graphs
Proofs as Graphs
✍ Duncan Shand; Simon Brock πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 349 KB
Proofs as Schemas and Their Heuristic Us
Proofs as Schemas and Their Heuristic Use
✍ Matthias Fuchs πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 400 KB

Automated theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have many shortcomings. The use of machine-learning techniques such as schemas is acknowledged as promising, but difficult to apply in the area of theorem prov

The Martin fire-proofing process
The Martin fire-proofing process
✍ Arthur Beardsley πŸ“‚ Article πŸ“… 1888 πŸ› Elsevier Science 🌐 English βš– 208 KB