Login / Signup
Gavin St. John
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Multi Valued
Proof Theory
Query Translation
Datalog Programs
Top Venues
QPL
J. Symb. Log.
</>
Publications
</>
Nikolaos Galatos
,
Gavin St. John
are Undecidable.
J. Symb. Log.
87 (3) (2022)
Wesley Fussner
,
Gavin St. John
Negative Translations of Orthomodular Lattices and Their Logic.
QPL
(2021)