A framework for proof systems. Nigam, V. & Miller, D. J. of Automated Reasoning, 45(2):157–188, 2010. ![A framework for proof systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @article{nigam10jar,
author = {Vivek Nigam and Dale Miller},
title = {A framework for proof systems},
volume = {45},
number = {2},
journal = jar,
pages = {157--188},
year = {2010},
url = {http://springerlink.com/content/m12014474287n423/},
pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/nigam-ijcar.pdf}
}
Downloads: 0
{"_id":"6LP8N5bovwrjmGfZ7","bibbaseid":"nigam-miller-aframeworkforproofsystems-2010","author_short":["Nigam, V.","Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vivek"],"propositions":[],"lastnames":["Nigam"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"A framework for proof systems","volume":"45","number":"2","journal":"J. of Automated Reasoning","pages":"157–188","year":"2010","url":"http://springerlink.com/content/m12014474287n423/","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/nigam-ijcar.pdf","bibtex":"@article{nigam10jar,\n author = {Vivek Nigam and Dale Miller},\n title = {A framework for proof systems},\n volume = {45},\n number = {2},\n journal = jar,\n pages = {157--188},\n year = {2010},\n url = {http://springerlink.com/content/m12014474287n423/},\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/nigam-ijcar.pdf}\n}\n\n","author_short":["Nigam, V.","Miller, D."],"key":"nigam10jar","id":"nigam10jar","bibbaseid":"nigam-miller-aframeworkforproofsystems-2010","role":"author","urls":{"Paper":"http://springerlink.com/content/m12014474287n423/"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["framework","proof","systems","nigam","miller"],"title":"A framework for proof systems","year":2010}