Reuben N. S. Rowe

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 16

Top Topics

Transitive Closure

Automated Reasoning

Program Synthesis

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications