Affiner votre recherche
Disponibilité
-
Auteurs
- Breugel, Franck van (1)
- Kashefi, Elham (1)
- Palamidessi, Catusci... (1)
- Rutten, Jan (2)
- Sangiorgi, Davide (1)
-
Sites de rattachement
-
Types de document
-
Collection
-
Sujets
- Bisimulation (1)
- Coinduction (Mathema... (1)
- Computation by Abstr... (1)
- Computer logic (1)
- Computer science (2)
- Computer Science (1)
- Computers (1)
- COMPUTERS / Networki... (1)
- Induction (Mathemati... (1)
- Logics and Meanings ... (1)
- Mathematical logic (1)
- Mathematical Logic a... (1)
- Mathematical statist... (1)
- Modality (Logic) (1)
- Probability and Stat... (1)
- Afficher plus
- Afficher moins