Olga Lightfoot

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Theorem Proving

Automated Deduction

Parallel Search

Top Venues

Formal Aspects Comput.

Publications

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin
Applications of real number theorem proving in PVS. Formal Aspects Comput. 25 (6) (2013)