الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
Claude Kirchner | Synapse
CK
Claude Kirchner
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
410 pubs · 6,262 cites · h-index 37
Affiliations
Institut national de recherche en sciences et technologies du numérique
California Native Plant Society
Institut National de Santé Publique
See all
Publications