Laboratoire Méthodes Formelles (LMF)
… CNRS Inria Université Paris-Saclay https://scanr.enseignementsup-recherche.gouv.fr/structure/202123712M Documents … ACM From Local to Global Optimality in Concurrent Parity Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux … of topological spaces with no infinite discrete subspace Jean Goubault-Larrecq 01/01/24 Topology and its Applications …
Published on: