Rob Arthan

	2009
4		Rob Arthan: Computational Logic and Continuous Mathematics, Pure and Applied. Calculemus/MKM 2009: 1
	2008
3		Rob Arthan: Mechanized Reasoning for Continuous Problem Domains (Invited Talk). PAAR/ESHOL 2008
2		Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A General Framework for Sound and Complete Floyd-Hoare Logics CoRR abs/0807.1016: (2008)
	2006
1		John Harrison, Konrad Slind, Rob Arthan: HOL. The Seventeen Provers of the World 2006: 11-19

Coauthor Index

1	John Harrison	[1]
2	Ursula Martin	[2]
3	Erik A. Mathiesen	[2]
4	Paulo Oliva	[2]
5	Konrad Slind	[1]

Colors in the list of coauthors