dblp.uni-trier.dewww.uni-trier.de

Alfio Martini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)