Anton Golov

Orcid: 0000-0001-9273-413X

According to our database1, Anton Golov authored at least 3 papers in 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Directed branching bisimulation via apartness and positive logic.
CoRR, 2022

Embeddings between partial combinatory algebras.
CoRR, 2022

Fixpoints and relative precompleteness.
Comput., 2022


  Loading...