Published in: LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011)
Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger. The Focused Calculus of Structures. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, pp. 159-173, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)
@InProceedings{chaudhuri_et_al:LIPIcs.CSL.2011.159, author = {Chaudhuri, Kaustuv and Guenot, Nicolas and Stra{\ss}burger, Lutz}, title = {{The Focused Calculus of Structures}}, booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL}, pages = {159--173}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-32-3}, ISSN = {1868-8969}, year = {2011}, volume = {12}, editor = {Bezem, Marc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.159}, URN = {urn:nbn:de:0030-drops-32297}, doi = {10.4230/LIPIcs.CSL.2011.159}, annote = {Keywords: focusing, polarity, calculus of structures, linear logic} }
Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)
Nicolas Guenot. Focused Proof Search for Linear Logic in the Calculus of Structures. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 84-93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{guenot:LIPIcs.ICLP.2010.84, author = {Guenot, Nicolas}, title = {{Focused Proof Search for Linear Logic in the Calculus of Structures}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {84--93}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.84}, URN = {urn:nbn:de:0030-drops-25868}, doi = {10.4230/LIPIcs.ICLP.2010.84}, annote = {Keywords: Proof theory, focusing, proof search, deep inference, linear logic} }
Feedback for Dagstuhl Publishing