Roger Antonsen
According to our database1,
Roger Antonsen
authored at least 8 papers
between 2003 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Springer, ISBN: 978-3-030-63776-7, 2021
2018
2012
2007
Proceedings of the Automated Deduction, 2007
2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
2004
Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004
2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003