Uwe Petermann. Combining Semantical and Syntactical Theory Reasoning. In Dov M. Gabbay, Maarten de Rijke, editors, Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. pages 255-274, Research Studies Press/Wiley, 1998.
@inproceedings{Petermann98,
title = {Combining Semantical and Syntactical Theory Reasoning},
author = {Uwe Petermann},
year = {1998},
researchr = {https://researchr.org/publication/Petermann98},
cites = {0},
citedby = {0},
pages = {255-274},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
editor = {Dov M. Gabbay and Maarten de Rijke},
publisher = {Research Studies Press/Wiley},
}