Login / Signup
Dylan Bellier
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Equality Generating Dependencies
Pursuit Evasion
Proof Theory
Dependency Graphs
Top Venues
CoRR
ACM Trans. Comput. Log.
FSTTCS
Ann. Pure Appl. Log.
</>
Publications
</>