The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Harold Schellinx: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond Hoofman, Harold Schellinx
    Collapsing Graph Models by Preorders. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:53-73 [Conf]
  2. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:159-171 [Conf]
  3. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    Strong Normalization for All-Style LK. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:226-243 [Conf]
  4. Jaap van Oosten, Harold Schellinx
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:1-2 [Journal]
  5. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  6. Harold Schellinx
    Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:2, pp:221-223 [Journal]
  7. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    A New Deconstructive Logic: Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:755-807 [Journal]
  8. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:162-196 [Journal]
  9. Harold Schellinx
    Isomorphisms and Nonisomorphisms of Graph Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:1, pp:227-249 [Journal]
  10. Harold Schellinx
    Some Syntactical Observations on Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:4, pp:537-559 [Journal]
  11. R. Hori, H. Ono, Harold Schellinx
    Extending Intutionistic Linear Logic with Knotted Structural Rules. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:219-242 [Journal]
  12. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:353-378 [Journal]

  13. On the Jordan-Hölder decomposition of proof nets. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002