Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Home
Clubs
Explore
More
Language
English
English
AA
Andrei Arusoaie
Logic, programming, and type systems
Alexandru Ioan Cuza University
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
54 pubs · 264 cites · h-index 9
Affiliations
Alexandru Ioan Cuza University
Laboratoire d'Informatique de Paris-Nord
Centre de recherche Inria Lille - Nord Europe
See all
Publications