Anton Golov

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Herman Geuvers, Anton Golov
Directed branching bisimulation via apartness and positive logic. CoRR (2022)
Anton Golov, Sebastiaan A. Terwijn
Fixpoints and relative precompleteness. Comput. 11 (2) (2022)
Anton Golov, Sebastiaan A. Terwijn
Embeddings between partial combinatory algebras. CoRR (2022)
Anton Golov, Sebastiaan A. Terwijn
Fixpoints and relative precompleteness. CoRR (2021)