| |
| 2008 | ||
|---|---|---|
| 4 | EE | Rudi Pendavingh, Quintijn Puite, Gerhard J. Woeginger: 2-piercings via graph theory. Discrete Applied Mathematics 156(18): 3510-3512 (2008) |
| 2005 | ||
| 3 | EE | Roberto Maieli, Quintijn Puite: Modularity of proof-nets. Arch. Math. Log. 44(2): 167-193 (2005) |
| 2002 | ||
| 2 | Richard Moot, Quintijn Puite: Proof Nets for the Multimodal Lambek Calculus. Studia Logica 71(3): 415-442 (2002) | |
| 1997 | ||
| 1 | EE | Quintijn Puite, Harold Schellinx: On the Jordan-Hölder decomposition of proof nets. Arch. Math. Log. 37(1): 59-65 (1997) |
| 1 | Roberto Maieli | [3] |
| 2 | Richard Moot | [2] |
| 3 | Rudi Pendavingh | [4] |
| 4 | Harold Schellinx | [1] |
| 5 | Gerhard J. Woeginger | [4] |