Quintijn Puite

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
2-piercings via graph theory.
Discret. Appl. Math., 2008

2005
Modularity of proof-nets.
Arch. Math. Log., 2005

2002
Proof Nets for the Multimodal Lambek Calculus.
Stud Logica, 2002

1997
On the Jordan-Hölder decomposition of proof nets.
Arch. Math. Log., 1997


  Loading...