38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)

Ouvrages Année : 2021

(1) , (2)

1
2

Benjamin Monmege

Modélisation et Vérification

Markus Bläser

Universität des Saarlandes [Saarbrücken]

Logique en informatique [cs.LO] Informatique et théorie des jeux [cs.GT] Informatique et langage [cs.CL] Théorie et langage formel [cs.FL]

https://hal.science/hal-03518289

Soumis le : dimanche 9 janvier 2022-15:36:35

Dernière modification le : vendredi 22 mars 2024-18:24:04

hal-03518289 , version 1 (09-01-2022)

Benjamin Monmege, Markus Bläser (Dir.). 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021). 2021. ⟨hal-03518289⟩

UNIV-TLN CNRS UNIV-AMU LIS-LAB MOVE INCIAM

19 Consultations

0 Téléchargements