Quintijn Puite

According to our database, Quintijn Puite authored at least 4 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

2-piercings via graph theory.

Rudi Pendavingh, Quintijn Puite, Gerhard J. Woeginger

Discret. Appl. Math., 2008

2005

Modularity of proof-nets.

Roberto Maieli, Quintijn Puite

Arch. Math. Log., 2005

2002

Proof Nets for the Multimodal Lambek Calculus.

Richard Moot, Quintijn Puite

Stud Logica, 2002

1997

On the Jordan-Hölder decomposition of proof nets.

Quintijn Puite, Harold Schellinx

Arch. Math. Log., 1997