Publications
223 total
No publications found.
Research Topics
Logic, programming, and type systems
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Affiliations
University of Oxford
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.