Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rob Arthan

On Definitions of Constants and Types in HOL

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English