Carst Tankink
Orcid: 0000-0003-4748-5773
According to our database1,
Carst Tankink
authored at least 12 papers
between 2008 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
0
1
2
3
1
1
1
1
2
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Int. J. Softw. Tools Technol. Transf., 2018
2017
2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2012
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011
2010
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2008
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008