Login / Signup
Sadaaki Kawata
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Orders Of Magnitude
Computationally Expensive
Decision Makers
Computational Efficiency
Top Venues
APLAS
</>
Publications
</>
Sadaaki Kawata
,
Kazuyuki Asada
,
Naoki Kobayashi
Decision Algorithms for Checking Definability of Order-2 Finitary PCF.
APLAS
(2015)