Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Bistability and Oscillations in Gene Regulatory Networks
20 juin 2022
Cüneyt Güzelis
(Yaşar University, İzmir, Turquie)
tba
Navigation de l’article
Boltzmann sampling for fun and profit : Comment utiliser des séries formelles pour corriger des copies !
Next steps for implicit automata in λ-calculi
