R. D. Arthan

13 papers C 2Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2012 J jnl
Aronszajn's Criterion for Euclidean Space.
Am. Math. Mon.
R. D. Arthan
2012 J jnl
Some new results on decidability for elementary algebra and geometry.
Ann. Pure Appl. Log.
Robert Solovay, R. D. Arthan, John Harrison
2010 — conf
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
ICMS
R. D. Arthan
2006 C conf
A Verified Formal Model of a VC Generator.
SEW
R. D. Arthan
2001 — conf
An Irrational Construction of R from Z.
TPHOLs
R. D. Arthan
2000 — conf
Analysis of Compiled Code: A Prototype Formal Model.
ZB
R. D. Arthan
2000 C conf
ClawZ: Control Laws in Z.
ICFEM
R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith
1998 — conf
Recursive Definitions in Z.
ZUM
R. D. Arthan
1997 J jnl
Using a Formal Specification Contractually.
Formal Aspects Comput.
Colin O'Halloran, R. D. Arthan, D. King
1991 — conf
A Report on ICL HOL.
TPHOLs
R. D. Arthan
1991 — conf
On Formal Specification of a Proof Tool.
VDM Europe (1)
R. D. Arthan
1991 — conf
On Free Type Definitions in Z.
Z User Workshop
R. D. Arthan
1988 — conf
Compiler Prototyping with VDM and Standard ML.
VDM Europe
R. D. Arthan