%0 Conference Paper %1 conf/wollic/AndradeCOQ13 %A Andrade, Laís %A Carvalho, Ruan %A de Oliveira, Anjolina Grisi %A de Queiroz, Ruy J. G. B. %B WoLLIC %D 2013 %E Libkin, Leonid %E Kohlenbach, Ulrich %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 34-48 %T Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#AndradeCOQ13 %V 8071 %@ 978-3-642-39991-6

@inproceedings{conf/wollic/AndradeCOQ13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Andrade, Laís and Carvalho, Ruan and de Oliveira, Anjolina Grisi and de Queiroz, Ruy J. G. B.}, biburl = {https://www.bibsonomy.org/bibtex/2756fbc195a0b7c33c3b6025bcc2e7d75/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2013}, editor = {Libkin, Leonid and Kohlenbach, Ulrich and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-642-39992-3_7}, interhash = {3f80f44776da5ffdd2b9f51d1058ef75}, intrahash = {756fbc195a0b7c33c3b6025bcc2e7d75}, isbn = {978-3-642-39991-6}, keywords = {dblp}, pages = {34-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:00:52.000+0200}, title = {Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#AndradeCOQ13}, volume = 8071, year = 2013 }