BELLIN, Gianluigi
BELLIN, Gianluigi
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.008 secondi).
A Pragmatic Interpretation Of Substructural Logics
2002-01-01 Bellin, Gianluigi; Carlo Dalla, Pozza
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory
2014-01-01 Bellin, Gianluigi
Chu's construction: a proof-theoretic approach
2003-01-01 Bellin, Gianluigi
Herbrand's Theorem for Calculi of Sequents LK and LJ
1979-01-01 Bellin, Gianluigi
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem
1990-01-01 Bellin, Gianluigi
Subnets of Proof-nets in MLL-
1995-01-01 Bellin, Gianluigi; J., Van De Wiele
Two paradigms of logical computation in affine logic?
2003-01-01 Bellin, Gianluigi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Pragmatic Interpretation Of Substructural Logics | 1-gen-2002 | Bellin, Gianluigi; Carlo Dalla, Pozza | |
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory | 1-gen-2014 | Bellin, Gianluigi | |
Chu's construction: a proof-theoretic approach | 1-gen-2003 | Bellin, Gianluigi | |
Herbrand's Theorem for Calculi of Sequents LK and LJ | 1-gen-1979 | Bellin, Gianluigi | |
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem | 1-gen-1990 | Bellin, Gianluigi | |
Subnets of Proof-nets in MLL- | 1-gen-1995 | Bellin, Gianluigi; J., Van De Wiele | |
Two paradigms of logical computation in affine logic? | 1-gen-2003 | Bellin, Gianluigi |