Dylan Bellier

Orcid: 0000-0003-4763-5655

According to our database¹, Dylan Bellier authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

2022

2023

2024

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Plan Logic.

[BibT_eX]

[DOI]

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Alternating (In)Dependence-Friendly Logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., December, 2023

Good-for-Game QPTL: An Alternating Hodges Semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., January, 2023

2022

Dependency Matrices for Multiplayer Strategic Dependencies.

[BibT_eX]

[DOI]

Dylan Bellier

Sophie Pinchinat

François Schwarzentruber

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Dylan Bellier

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...