Bellier, Dylan
23  results:
Search for persons X
?
1

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

Bellier, Dylan ; Benerecetti, Massimo ; Monica, Dario Della.
ACM Transactions on Computational Logic.  24 (2023)  1 - p. 1-57 , 2023
 
?
2

Alternating (In)Dependence-Friendly Logic:

Bellier, Dylan ; Benerecetti, Massimo ; Della Monica, Dario.
Annals of Pure and Applied Logic.  174 (2023)  10 - p. 103315 , 2023
 
?
3

Alternating (In)Dependence-Friendly Logic:

Bellier, Dylan ; Benerecetti, Massimo ; Della Monica, Dario.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.apal.2023.103315.  , 2023
 
?
4

Alternating (In)Dependence-Friendly Logic:

Bellier, Dylan ; Benerecetti, Massimo ; Della Monica, Dario.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.apal.2023.103315.  , 2023
 
?
5

Alternating (In)Dependence-Friendly Logic:

Bellier, Dylan ; Benerecetti, Massimo ; Della Monica, Dario.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.apal.2023.103315.  , 2023
 
?
8

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
?
9

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
?
10

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
?
11

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
?
12

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
?
13

Dependency Matrices for Multiplayer Strategic Dependencies:

Bellier, Dylan ; Pinchinat, Sophie ; Schwarzentruber, François
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2022.31.  , 2022
 
1-15