Laboratoire Méthodes Formelles (LMF)
… Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS Inria Université Paris-Saclay … in Concurrent Parity Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 01/02/2024 Leibniz International … Epistemic Logic for Chromatic Hypergraphs Roman Kniazev 01/02/2024 Leibniz International Proceedings in …
Published on: