Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, May 4
Author: Mossakowski, Till
Title: Institutions – Abstract Logical Systems for Computer Science, Part II


Institution morphisms and comorphisms are used for relating different logics that are formalised as institutions. They can be used for borrowing proof support, for heterogeneous theories and for logic combination.
Back to the Oberseminar web page