Games Where You Can Play Optimally with Arena-Independent Finite Memory

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre

Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível