Published in: LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Ionut Tutu and José Luiz Fiadeiro. Revisiting the Institutional Approach to Herbrand’s Theorem. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 304-319, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{tutu_et_al:LIPIcs.CALCO.2015.304, author = {Tutu, Ionut and Fiadeiro, Jos\'{e} Luiz}, title = {{Revisiting the Institutional Approach to Herbrand’s Theorem}}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)}, pages = {304--319}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-84-2}, ISSN = {1868-8969}, year = {2015}, volume = {35}, editor = {Moss, Lawrence S. and Sobocinski, Pawel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.304}, URN = {urn:nbn:de:0030-drops-55419}, doi = {10.4230/LIPIcs.CALCO.2015.304}, annote = {Keywords: Institution theory, Substitution systems, Herbrand’s theorem} }
Published in: OASIcs, Volume 35, 2013 Imperial College Computing Student Workshop
Ionut Tutu. Logical Foundations of Services. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 111-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{tutu:OASIcs.ICCSW.2013.111, author = {Tutu, Ionut}, title = {{Logical Foundations of Services}}, booktitle = {2013 Imperial College Computing Student Workshop}, pages = {111--118}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-63-7}, ISSN = {2190-6807}, year = {2013}, volume = {35}, editor = {Jones, Andrew V. and Ng, Nicholas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.111}, URN = {urn:nbn:de:0030-drops-42793}, doi = {10.4230/OASIcs.ICCSW.2013.111}, annote = {Keywords: Formal methods, Service-oriented computing, Institution theory} }
Feedback for Dagstuhl Publishing