Anton Golov

According to our database, Anton Golov authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Positive Hennessy-Milner Logic for Branching Bisimulation.

Herman Geuvers, Komi Golov

Log. Methods Comput. Sci., 2025

2022

Directed branching bisimulation via apartness and positive logic.

Herman Geuvers, Anton Golov

CoRR, 2022

Embeddings between partial combinatory algebras.

Anton Golov, Sebastiaan A. Terwijn

CoRR, 2022

Fixpoints and relative precompleteness.

Anton Golov, Sebastiaan A. Terwijn

Comput., 2022