Satoshi Nakata

dblp:65/9717 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2024
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2024 Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic
Satoshi Nakata
CSL1
2023 Parallelism in Realizability Models
Satoshi Nakata
WoLLIC1