홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
Michaël Rusinowitch | Synapse
MR
Michaël Rusinowitch
Logic, programming, and type systems
Centre Inria de l'Université de Lorraine
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
236 pubs · 3,073 cites · h-index 26
Affiliations
Centre Inria de l'Université de Lorraine
Centre National de la Recherche Scientifique
Laboratoire Lorrain de Recherche en Informatique et ses Applications
See all
Publications