| 2003 |
|---|
| 11 | EE | 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 | EE | 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 | EE | 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) |
