Govert van Drimmelen
According to our database1,
Govert van Drimmelen
authored at least 4 papers
between 2003 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2003
2004
2005
2006
2007
2008
2009
2010
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
J. Appl. Non Class. Logics, 2010
2006
Theor. Comput. Sci., 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003