Alfio Martini

	2007
4		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		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

Coauthor Index

1	Edward Hermann Haeusler	[4]
2	Uwe Wolter	[1] [2] [3] [4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page