Output details
11 - Computer Science and Informatics
University of Bath
Output title
Breaking paths in atomic flows for classical logic
Type
E - Conference contribution
Name of conference/published proceedings
2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS
Volume number
-
Issue number
-
First page of article
284
ISSN of proceedings
1043-6871
Year of publication
2010
Number of additional authors
2
Additional information
<11>According to Microsoft Academic Search, LICS is the top conference for computational logic, with an average acceptance of about 30%. The 3-year, ~£550,000 EPSRC project `Efficient and Natural Proof Systems' in Bath (2013-16, PI: Guglielmi) is based on this paper in a fundamental way. A collaboration with the University of Turin, via the 2-year, ~£12,000 Royal Society grant `Sharing and Sequentiality in Proof Systems with Locality' (2012-14, PIs: Guglielmi and Roversi), is in large part devoted to finding computational interpretations of proofs made possible by the proof composition mechanism defined in this paper.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-