Dylan Bellier

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Equality Generating Dependencies

Pursuit Evasion

Dependency Graphs

Top Venues

ACM Trans. Comput. Log.

Ann. Pure Appl. Log.

Publications

Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. CoRR (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. 174 (10) (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24 (1) (2023)
Dylan Bellier, Sophie Pinchinat, François Schwarzentruber
Dependency Matrices for Multiplayer Strategic Dependencies. FSTTCS (2022)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR (2021)