Vilius Naudziunas, Timothy G. Griffin. A Domain-Specific Language for the Specification of Path Algebras. In Peter Höfner, Annabelle McIver, Georg Struth, editors, Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. Volume 760 of CEUR Workshop Proceedings, pages 46-57, CEUR-WS.org, 2011. [doi]
@inproceedings{NaudziunasG11,
title = {A Domain-Specific Language for the Specification of Path Algebras},
author = {Vilius Naudziunas and Timothy G. Griffin},
year = {2011},
url = {http://ceur-ws.org/Vol-760/paper7.pdf},
researchr = {https://researchr.org/publication/NaudziunasG11},
cites = {0},
citedby = {0},
pages = {46-57},
booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011},
editor = {Peter Höfner and Annabelle McIver and Georg Struth},
volume = {760},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}