Catégorie
Logique non classique
Publications associées (19)
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Vincent Kaufmann, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse, Ludy Juliana González Villamizar
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
André-Gilles Dumont, Sofia Samoili
Kshitij Sharma, Jennifer Kaitlyn Olsen
Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù