Affiner votre recherche
Disponibilité
-
Auteurs
- Baeten, J. C. M. (1)
- Basten, Twan (1)
- Hindley, James Roger (1)
- Reniers, M. A. (1)
- Roever, W. P. de (1)
- Rutten, Jan (1)
- Sangiorgi, Davide (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
- Livre (4)
-
Collection
-
Sujets
- Bisimulation (1)
- Coinduction (Mathema... (1)
- Computer science (1)
- Computer software (1)
- COMPUTERS / Networki... (1)
- Electronic data proc... (1)
- Induction (Mathemati... (1)
- Kombinationsverfahre... (1)
- Kombinatorische Logi... (1)
- Modality (Logic) (1)
- Nebenläufigkeit (1)
- Parallel processing ... (2)
- Programmeertalen (1)
- Programming language... (1)
- Proof theory (1)
- Type theory (1)
- Typentheorie (1)
- Verifikation (1)
- Afficher plus
- Afficher moins