Ionut Tutu, José Luiz Fiadeiro. Revisiting the Institutional Approach to Herbrand's Theorem. In Lawrence S. Moss, Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. Volume 35 of LIPIcs, pages 304-319, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{TutuF15,
title = {Revisiting the Institutional Approach to Herbrand's Theorem},
author = {Ionut Tutu and José Luiz Fiadeiro},
year = {2015},
doi = {10.4230/LIPIcs.CALCO.2015.304},
url = {http://dx.doi.org/10.4230/LIPIcs.CALCO.2015.304},
researchr = {https://researchr.org/publication/TutuF15},
cites = {0},
citedby = {0},
pages = {304-319},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands},
editor = {Lawrence S. Moss and Pawel Sobocinski},
volume = {35},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-84-2},
}