Ugo Solitro

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
c1		Corrado Priami, Ugo Solitro: Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153
	1998
j3		Francisco Miraglia, Ugo Solitro: Sheaves over Right Sided Idempotent Quantales. Logic Journal of the IGPL 6(4): 545-600 (1998)
	1993
j2		Ugo Solitro, Silvio Valentini: Local Computation in Linear Logic. Math. Log. Q. 39: 201-212 (1993)
	1989
j1		Ugo Solitro: A Typed Calculuc Based on a Fragment of Linear Logic. Theor. Comput. Sci. 68(3): 333-342 (1989)

Coauthor Index

Last update Tue May 21 05:19:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page