Login / Signup
Richard Whyman
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 4
Top Topics
Quantifier Elimination
Probabilistic Graphical Models
Theorem Prover
Markov Logic Networks
Top Venues
PC@UCNC
Fundam. Informaticae
MCU
PC
</>
Publications
</>
Richard Whyman
Physical Computational Complexity and First-order Logic.
Fundam. Informaticae
181 (2-3) (2021)
Richard Whyman
An Atemporal Model of Physical Complexity.
PC@UCNC
(2018)
Richard Whyman
Physical Computation and First-Order Logic.
MCU
(2018)
Richard Whyman
Physical Computation, P/poly and P/log.
PC
(2016)