Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Applications of geometric logic to topos approaches to quantum theory
Vickers, Steven
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(2)
Research output
Research output per year
2012
2012
2014
2014
2
Conference contribution
Research output per year
Research output per year
0 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search results