Using linear logic to reason about sequent systems. Miller, D. & Pimentel, E. In Egly, U. & Fermüller, C. G., editors, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 2381, of LNCS, pages 2–23, 2002. Springer. bibtex @inproceedings{miller02tableaux,
author = {Dale Miller and Elaine Pimentel},
title = {Using linear logic to reason about sequent systems},
pages = {2--23},
editor = {Uwe Egly and Christian G. Ferm{\"u}ller},
booktitle = {International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods},
publisher = {Springer},
series = lncs,
volume = {2381},
year = {2002},
dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.dvi},
pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.pdf}
}
Downloads: 0
{"_id":"JgBw3f6LfL5K7sdt6","bibbaseid":"miller-pimentel-usinglinearlogictoreasonaboutsequentsystems-2002","author_short":["Miller, D.","Pimentel, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Elaine"],"propositions":[],"lastnames":["Pimentel"],"suffixes":[]}],"title":"Using linear logic to reason about sequent systems","pages":"2–23","editor":[{"firstnames":["Uwe"],"propositions":[],"lastnames":["Egly"],"suffixes":[]},{"firstnames":["Christian","G."],"propositions":[],"lastnames":["Fermüller"],"suffixes":[]}],"booktitle":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","publisher":"Springer","series":"LNCS","volume":"2381","year":"2002","dvi":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.dvi","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.pdf","bibtex":"@inproceedings{miller02tableaux,\n author = {Dale Miller and Elaine Pimentel},\n title = {Using linear logic to reason about sequent systems},\n pages = {2--23},\n editor = {Uwe Egly and Christian G. Ferm{\\\"u}ller},\n booktitle = {International Conference on Automated Reasoning with\n Analytic Tableaux and Related Methods},\n publisher = {Springer},\n series = lncs,\n volume = {2381},\n year = {2002},\n dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.dvi},\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.pdf}\n}\n\n","author_short":["Miller, D.","Pimentel, E."],"editor_short":["Egly, U.","Fermüller, C. G."],"key":"miller02tableaux","id":"miller02tableaux","bibbaseid":"miller-pimentel-usinglinearlogictoreasonaboutsequentsystems-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["using","linear","logic","reason","sequent","systems","miller","pimentel"],"title":"Using linear logic to reason about sequent systems","year":2002}