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

Mario Piazza

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

2001
4 Mario Piazza: Exchange Rules. J. Symb. Log. 66(2): 509-516 (2001)
3 Richard Moot, Mario Piazza: Linguistic Applications of First Order Intuitionistic Linear Logic. Journal of Logic, Language and Information 10(2): 211-232 (2001)
1998
2 Maurizio Castellan, Mario Piazza: Saturated Formulas in Full Linear Logic. J. Log. Comput. 8(5): 665-668 (1998)
1996
1 Mario Piazza, Maurizio Castellan: Quantales and Structural Rules. J. Log. Comput. 6(5): 709-724 (1996)

Coauthor Index

1Maurizio Castellan [1] [2]
2Richard Moot [3]

Colors in the list of coauthors

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