| |
| 2007 | ||
|---|---|---|
| 4 | EE | Alfio Martini, Uwe Wolter, Edward Hermann Haeusler: Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL 15(5-6): 707-739 (2007) |
| 1998 | ||
| 3 | EE | Alfio Martini, Uwe Wolter: A Single Perspective on Arrows between Institutions. AMAST 1998: 486-501 |
| 1997 | ||
| 2 | Uwe Wolter, Alfio Martini: Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science 1997: 159-176 | |
| 1 | Alfio Martini, Uwe Wolter: A systematic study of mappings between institutions. WADT 1997: 300-315 | |
| 1 | Edward Hermann Haeusler | [4] |
| 2 | Uwe Wolter | [1] [2] [3] [4] |