Anton Golov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Herman Geuvers
7 publications
Sebastiaan A. Terwijn
5 publications

research

∙ 10/13/2022

Directed branching bisimulation via apartness and positive logic

Branching bisimulation is a relation on states of a labelled transition ...

0 Herman Geuvers, et al. ∙

research

∙ 01/28/2021

Fixpoints and relative precompleteness

We study relative precompleteness in the context of the theory of number...

0 Anton Golov, et al. ∙