home
>
book reviews
> Asaki Saito
Google >
Asaki Saito
author : Asaki Saito
Short works
Inaccessibility in Decision Procedures. 2001.
(In
Unconventional Models of Computation, UMC'2K
)