A Unified Sequent Calculus for Focused Proofs. Liang, C. & Miller, D. In 24th Symp.\ on Logic in Computer Science, pages 355–364, 2009. Paper bibtex @inproceedings{liang09lics,
author = {Chuck Liang and Dale Miller},
title = {A Unified Sequent Calculus for Focused Proofs},
year = {2009},
pages = {355--364},
booktitle = lics09,
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/liang09lics.pdf}
}
Downloads: 0
{"_id":"mAy3n3gsoSEJ9G76e","bibbaseid":"liang-miller-aunifiedsequentcalculusforfocusedproofs-2009","author_short":["Liang, C.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chuck"],"propositions":[],"lastnames":["Liang"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"A Unified Sequent Calculus for Focused Proofs","year":"2009","pages":"355–364","booktitle":"24th Symp.\\ on Logic in Computer Science","url":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/liang09lics.pdf","bibtex":"@inproceedings{liang09lics,\n author = {Chuck Liang and Dale Miller},\n title = {A Unified Sequent Calculus for Focused Proofs},\n year = {2009},\n pages = {355--364},\n booktitle = lics09,\n url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/liang09lics.pdf}\n}\n\n","author_short":["Liang, C.","Miller, D."],"key":"liang09lics","id":"liang09lics","bibbaseid":"liang-miller-aunifiedsequentcalculusforfocusedproofs-2009","role":"author","urls":{"Paper":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/liang09lics.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["unified","sequent","calculus","focused","proofs","liang","miller"],"title":"A Unified Sequent Calculus for Focused Proofs","year":2009}