author : Asaki Saito

Short works

• Inaccessibility in Decision Procedures. 2001. (In Unconventional Models of Computation, UMC'2K )