Login / Signup
Michael Gabbay
Publication Activity (10 Years)
Years Active: 2000-2018
Publications (10 Years): 7
Top Topics
Classical Logic
Malicious Attacks
Reeb Graph
Proof Theoretic
Top Venues
Log. J. IGPL
CoRR
FLAP
COMMA
</>
Publications
</>