V. Michele Abrusci

	2011
13		V. Michele Abrusci, Marco Romano, Christophe Fouqueré: Ontologies and Coherence Spaces. PRELUDE Project 2011: 205-219
	2009
12		V. Michele Abrusci, Marco Romano, Christophe Fouqueré: Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations. KEOD 2009: 220-225
	2003
11		V. Michele Abrusci: Non Commutative Logic: A Survey. TABLEAUX 2003: 1
10		V. Michele Abrusci: Towards a semantics of proofs for non-commutative logic: multiplicatives and additives. Theor. Comput. Sci. 294(3): 335-351 (2003)
	2002
9		V. Michele Abrusci: Classical Conservative Extensions of Lambek Calculus. Studia Logica 71(3): 277-314 (2002)
	1999
8		V. Michele Abrusci: Modules in Non-communicative Logic. TLCA 1999: 14-24
7		V. Michele Abrusci, Paul Ruet: Non-Commutative Logic I: The Multiplicative Fragment. Ann. Pure Appl. Logic 101(1): 29-64 (1999)
6		V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles: Tree Adjoining Grammars in a Fragment of the Lambek Calculus. Computational Linguistics 25(2): 209-236 (1999)
	1998
5		V. Michele Abrusci, Elena Maringelli: A New Correctness Criterion for Cyclic Proof Nets. Journal of Logic, Language and Information 7(4): 449-459 (1998)
	1996
4		V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles: Tree Adjoining Grammars in Noncommutative Linear Logic. LACL 1996: 96-117
	1991
3		V. Michele Abrusci: Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. J. Symb. Log. 56(4): 1403-1451 (1991)
	1990
2		V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele: Some Uses of Dilators in Combinatorial Problems, II. J. Symb. Log. 55(1): 32-40 (1990)
	1989
1		V. Michele Abrusci, Gianfranco Mascari: A Logic of Recursion Inf. Comput. 81(2): 168-226 (1989)

Coauthor Index

1	Christophe Fouqueré	[4] [6] [12] [13]
2	Jean-Yves Girard	[2]
3	Elena Maringelli	[5]
4	Gianfranco Mascari	[1]
5	Marco Romano	[12] [13]
6	Paul Ruet	[7]
7	Jacqueline Vauzeilles	[4] [6]
8	Jacques Van de Wiele	[2]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page