( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

, , , и . LICS, стр. 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.

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

Другие публикации лиц с тем же именем

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.. CSL, том 2142 из Lecture Notes in Computer Science, стр. 399-413. Springer, (2001)The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type.. FSCD, том 84 из LIPIcs, стр. 6:1-6:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Set systems: Order types, continuous nondeterministic deformations, and quasi-orders.. Theor. Comput. Sci., 412 (45): 6235-6251 (2011)Real Number Representations of Graph-Directed IFS Attractors., и . CCA, том 326-7/2005 из Informatik Berichte, стр. 3-24. FernUniversität Hagen, Germany, (2005)A Lambda-to-CL Translation for Strong Normalization.. TLCA, том 1210 из Lecture Notes in Computer Science, стр. 1-10. Springer, (1997)Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.. LATA, том 5457 из Lecture Notes in Computer Science, стр. 93-104. Springer, (2009)Limiting partial combinatory algebras.. Theor. Comput. Sci., 311 (1-3): 199-220 (2004)On Mints' Reduction for ccc-Calculus.. TLCA, том 664 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1993)A Study of Abramsky's Linear Chemical Abstract Machine., и . TLCA, том 1581 из Lecture Notes in Computer Science, стр. 243-257. Springer, (1999)An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles., , , и . LICS, стр. 192-201. IEEE Computer Society, (2004)