ホーム
探索
nav.journalClub
トレンド
その他
Synapse
⌘+K
Synapse
言語
日本語
日本語
STEFANIA DUMBRAVA | Synapse
SD
STEFANIA DUMBRAVA
Logic, programming, and type systems
Institut national de recherche en sciences et technologies du numérique
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
1 pubs
Affiliations
Institut national de recherche en sciences et technologies du numérique
École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise
Institut de Recherche en Informatique Fondamentale
See all
Publications