Login / Signup
Ken Akiba
ORCID
Publication Activity (10 Years)
Years Active: 1996-2017
Publications (10 Years): 2
Top Topics
Advanced Research Projects Agency
Automated Deduction
Cyber Defense
Denotational Semantics
Top Venues
CL&C
J. Philos. Log.
Synth.
</>
Publications
</>