Towards the Automated Generation of Focused Proof Systems. Nigam, V., Reis, G., & Lima, L. In Cervesato, I. & Schürmann, C., editors, WoF'15, volume 197, of EPTCS, pages 1-6, 2015. Link Paper bibtex @inproceedings{journals/corr/NigamRL15,
added-at = {2015-12-02T00:00:00.000+0100},
author = {Nigam, Vivek and Reis, Giselle and Lima, Leonardo},
biburl = {http://www.bibsonomy.org/bibtex/24294dcc9eb28589a386eb3c9dce1db37/dblp},
booktitle = {WoF'15},
crossref = {journals/corr/CervesatoS15},
editor = {Cervesato, Iliano and Schürmann, Carsten},
ee = {http://dx.doi.org/10.4204/EPTCS.197.1},
interhash = {414d9e99609a6c4d6034a192d70aacc5},
intrahash = {4294dcc9eb28589a386eb3c9dce1db37},
keywords = {dblp},
pages = {1-6},
series = {EPTCS},
timestamp = {2015-12-03T11:35:29.000+0100},
title = {Towards the Automated Generation of Focused Proof Systems.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs197.html#NigamRL15},
volume = 197,
year = 2015
}
Downloads: 0
{"_id":"6MuQ3sTWF2Estmxmc","bibbaseid":"nigam-reis-lima-towardstheautomatedgenerationoffocusedproofsystems-2015","downloads":0,"creationDate":"2016-02-09T06:00:28.544Z","title":"Towards the Automated Generation of Focused Proof Systems.","author_short":["Nigam, V.","Reis, G.","Lima, L."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Vivek Krishnakumar?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-12-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nigam"],"firstnames":["Vivek"],"suffixes":[]},{"propositions":[],"lastnames":["Reis"],"firstnames":["Giselle"],"suffixes":[]},{"propositions":[],"lastnames":["Lima"],"firstnames":["Leonardo"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/24294dcc9eb28589a386eb3c9dce1db37/dblp","booktitle":"WoF'15","crossref":"journals/corr/CervesatoS15","editor":[{"propositions":[],"lastnames":["Cervesato"],"firstnames":["Iliano"],"suffixes":[]},{"propositions":[],"lastnames":["Schürmann"],"firstnames":["Carsten"],"suffixes":[]}],"ee":"http://dx.doi.org/10.4204/EPTCS.197.1","interhash":"414d9e99609a6c4d6034a192d70aacc5","intrahash":"4294dcc9eb28589a386eb3c9dce1db37","keywords":"dblp","pages":"1-6","series":"EPTCS","timestamp":"2015-12-03T11:35:29.000+0100","title":"Towards the Automated Generation of Focused Proof Systems.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs197.html#NigamRL15","volume":"197","year":"2015","bibtex":"@inproceedings{journals/corr/NigamRL15,\n added-at = {2015-12-02T00:00:00.000+0100},\n author = {Nigam, Vivek and Reis, Giselle and Lima, Leonardo},\n biburl = {http://www.bibsonomy.org/bibtex/24294dcc9eb28589a386eb3c9dce1db37/dblp},\n booktitle = {WoF'15},\n crossref = {journals/corr/CervesatoS15},\n editor = {Cervesato, Iliano and Schürmann, Carsten},\n ee = {http://dx.doi.org/10.4204/EPTCS.197.1},\n interhash = {414d9e99609a6c4d6034a192d70aacc5},\n intrahash = {4294dcc9eb28589a386eb3c9dce1db37},\n keywords = {dblp},\n pages = {1-6},\n series = {EPTCS},\n timestamp = {2015-12-03T11:35:29.000+0100},\n title = {Towards the Automated Generation of Focused Proof Systems.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs197.html#NigamRL15},\n volume = 197,\n year = 2015\n}\n\n","author_short":["Nigam, V.","Reis, G.","Lima, L."],"editor_short":["Cervesato, I.","Schürmann, C."],"key":"journals/corr/NigamRL15","id":"journals/corr/NigamRL15","bibbaseid":"nigam-reis-lima-towardstheautomatedgenerationoffocusedproofsystems-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.4204/EPTCS.197.1","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs197.html#NigamRL15"},"keyword":["dblp"],"downloads":0},"search_terms":["towards","automated","generation","focused","proof","systems","nigam","reis","lima"],"keywords":["dblp"],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT"]}