R. D. Arthan

Publication Activity (10 Years)

Years Active: 1988-2012
Publications (10 Years): 0

Top Topics

Relational Algebra

Pairwise Distances

School Children

Top Venues

Ann. Pure Appl. Log.

Publications

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