Yngve Lamo, Michal Walicki. Combining Specification Formalisms in the ?General Logic? of Multialgebras. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Volume 2755 of Lecture Notes in Computer Science, pages 328-342, Springer, 2002. [doi]
@inproceedings{LamoW02:0,
title = {Combining Specification Formalisms in the ?General Logic? of Multialgebras},
author = {Yngve Lamo and Michal Walicki},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=328},
tags = {logic},
researchr = {https://researchr.org/publication/LamoW02%3A0},
cites = {0},
citedby = {0},
pages = {328-342},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers},
editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker},
volume = {2755},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20537-3},
}