The Calculus of Structures
Edit Page
Report
Scan day: 09 February 2014 UTC
-617
Virus safety - good
Description: The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
Web-Based Quantum Bio-Cryptography and Creative Nano-Security for the Cloud This page tries to be a comprehensive account of the ongoing research on deep inference. Deep inference started as a personal project, but it is now growing fast and I'm struggling to keep pace with all the developments. Some of them I do not understand in detail.
Size: 345 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Deep Inference |
| Keywords: | |
| Description: | |
| IP-address: | 195.110.124.188 |