( en | de | ru )

 

Disambiguation of "Akama, Yohji"

Author of the publication

copydeleteadd this publication to your clipboard
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

, , , and . LICS, page 192-201. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Akama, Yohji
add a person with the name Akama, Yohji
 

Other publications of authors with the same name

Confluent terminating extensional lambda-calculi with surjective pairing and terminal type.. CoRR, (2018)VC dimension of ellipsoids, and . CoRR, (2011)The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type.. FSCD, volume 84 of LIPIcs, page 6:1-6:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.. CSL, volume 2142 of Lecture Notes in Computer Science, page 399-413. Springer, (2001)Normal Proofs and Their Grammar., , and . Inf. Comput., 125 (2): 144-153 (1996)A Lambda-to-CL Translation for Strong Normalization.. TLCA, volume 1210 of Lecture Notes in Computer Science, page 1-10. Springer, (1997)Realizability interpretation of PA by iterated limiting PCA.. Math. Struct. Comput. Sci., (2014)Real Number Representations of Graph-Directed IFS Attractors., and . CCA, volume 326-7/2005 of Informatik Berichte, page 3-24. FernUniversität Hagen, Germany, (2005)Spherical tilings by congruent quadrangles: Forbidden cases and substructures., and . Ars Math. Contemp., 8 (2): 297-318 (2015)Set systems: Order types, continuous nondeterministic deformations, and quasi-orders.. Theor. Comput. Sci., 412 (45): 6235-6251 (2011)