CREMMI - Modélisation mathématique et informatique
Disciplines :
Mathematics Computer science
Author, co-author :
Vandenhove, Pierre ; Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives ; Université Paris-Saclay > Laboratoire Méthodes Formelles (LMF)
Language :
English
Title :
Arena-Independent Finite-Memory Determinacy
Publication date :
15 September 2021
Number of pages :
18
Event name :
Highlights of Logic, Games and Automata
Event place :
Aachen/Online, Germany
Event date :
2021
Audience :
International
Peer reviewed :
Peer reviewed
Research unit :
S820 - Mathématiques effectives
Research institute :
R150 - Institut de Recherche sur les Systèmes Complexes
