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

Duccio Luchi Vis

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

*1999
2 Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63(1): 7-25 (1999)
1997
1 Agata Ciabattoni, Duccio Luchi: Two Connections Between Linear Logic and Lukasiewicz Logics. Kurt Gödel Colloquium 1997: 128-139

Coauthor Index

1Agata Ciabattoni [1]
2Franco Montagna [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)