- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| j10 |      | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Theor. Comput. Sci. 294(3): 353-378 (2003) |
| 2002 | ||
| j9 | | |
| j8 | | Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco: SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. J. Symb. Log. 67(1): 162-196 (2002) |
| 1998 | ||
| j7 | | Harold Schellinx: Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg. Journal of Logic, Language and Information 7(2): 221-223 (1998) |
| 1997 | ||
| j6 | | Quintijn Puite, Harold Schellinx: On the Jordan-Hölder decomposition of proof nets. Arch. Math. Log. 37(1): 59-65 (1997) |
| j5 | | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62(3): 755-807 (1997) |
| 1996 | ||
| j4 | | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Electr. Notes Theor. Comput. Sci. 3: 183-195 (1996) |
| c3 | | Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco: Strong Normalization for All-Style LK. TABLEAUX 1996: 226-243 |
| 1994 | ||
| j3 | | R. Hori, H. Ono, Harold Schellinx: Extending Intuitionistic Linear Logic with Knotted Structural Rules. Notre Dame Journal of Formal Logic 35(2): 219-242 (1994) |
| 1993 | ||
| c2 | | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. Kurt Gödel Colloquium 1993: 159-171 |
| 1991 | ||
| j2 | | Harold Schellinx: Isomorphisms and Nonisomorphisms of Graph Models. J. Symb. Log. 56(1): 227-249 (1991) |
| j1 | | Harold Schellinx: Some Syntactical Observations on Linear Logic. J. Log. Comput. 1(4): 537-559 (1991) |
| c1 | | Raymond Hoofman, Harold Schellinx: Collapsing Graph Models by Preorders. Category Theory and Computer Science 1991: 53-73 |
| 1 | Vincent Danos | |
| 2 | Lorenzo Tortora de Falco | |
| 3 | Raymond Hoofman | |
| 4 | R. Hori | |
| 5 | Jean-Baptiste Joinet | |
| 6 | H. Ono | |
| 7 | Jaap van Oosten | |
| 8 | Quintijn Puite |
Colors in the list of coauthors
Last update Mon May 20 18:19:48 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page