Login / Signup
Ian Childs
Publication Activity (10 Years)
Years Active: 1985-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Higher Order Logic
Timed Automata
Proof Planning
Top Venues
CoRR
</>
Publications
</>
Tom Melham
,
Raphael Cohn
,
Ian Childs
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover.
CoRR
(2013)
Charles P. Sandbank
,
Ian Childs
The evolution towards high-definition television.
Proc. IEEE
73 (4) (1985)