Combining Semantical and Syntactical Theory Reasoning

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.

Abstract

Abstract is missing.