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.
No reviews for this publication, yet.