Quintijn Puite

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

Rudi Pendavingh, Quintijn Puite, Gerhard J. Woeginger
2-piercings via graph theory. Discret. Appl. Math. 156 (18) (2008)
Roberto Maieli, Quintijn Puite
Modularity of proof-nets. Arch. Math. Log. 44 (2) (2005)
Richard Moot, Quintijn Puite
Proof Nets for the Multimodal Lambek Calculus. Stud Logica 71 (3) (2002)
Quintijn Puite, Harold Schellinx
On the Jordan-Hölder decomposition of proof nets. Arch. Math. Log. 37 (1) (1997)