Login / Signup
Natsuo Ishii
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Inductive Inference
Recursive Functions
Test Bed
Top Venues
SCIS/ISIS
</>
Publications
</>
Haruhiko Sato
,
Natsuo Ishii
Discovering conditional properties of recursive functions in a proof assistant.
SCIS/ISIS
(2020)