Neil J. Davies

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Practical Reasoning

Digital Libraries

Top Venues

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)