Accéder directement au contenu

Sylvain Schmitz

1
Documents

Présentation

Publications

thomas-colcombet

Perfect Half-Space Games

Thomas Colcombet , Marcin Jurdzinski , Ranko Lazić , Sylvain Schmitz
Logic in Computer Science, 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005105⟩
Communication dans un congrès hal-01633355v1