Yohji Akama

25 papers A* 1B 3C 2Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Hyperbolic polyhedral surfaces with regular faces.
Discret. Math.
Yohji Akama, Bobo Hua
2023 J jnl
On deformed dodecahedron tiling.
Australas. J Comb.
Yohji Akama, Min Yan
2018 J jnl
Confluent terminating extensional lambda-calculi with surjective pairing and terminal type.
CoRR
Yohji Akama
2017 B conf
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type.
FSCD
Yohji Akama
2015 J jnl
Spherical tilings by congruent quadrangles: Forbidden cases and substructures.
Ars Math. Contemp.
Yohji Akama, Nico Van Cleemput
2014 J jnl
Realizability interpretation of PA by iterated limiting PCA.
Math. Struct. Comput. Sci.
Yohji Akama
2011 J jnl
A new order theory of set systems and better quasi-orderings
CoRR
Yohji Akama
2011 J jnl
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders.
Theor. Comput. Sci.
Yohji Akama
2011 J jnl
Set systems: order types, continuous nondeterministic deformations, and quasi-orders
CoRR
Yohji Akama
2011 J jnl
VC dimension of ellipsoids
CoRR
Yohji Akama, Kei Irie
2010 J jnl
VC Dimensions of Principal Component Analysis.
Discret. Comput. Geom.
Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
2009 C conf
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.
LATA
Yohji Akama
2008 J jnl
Consistent and coherent learning with delta-delay.
Inf. Comput.
Yohji Akama, Thomas Zeugmann
2006 — conf
Consistency Conditions for Inductive Inference of Recursive Functions.
JSAI
Yohji Akama, Thomas Zeugmann
2005 C conf
Real Number Representations of Graph-Directed IFS Attractors.
CCA
Yohji Akama, Shinji Iizuka
2004 A* conf
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.
LICS
Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
2004 J jnl
Limiting partial combinatory algebras.
Theor. Comput. Sci.
Yohji Akama
2002 B conf
Limit-Computable Mathematics and Its Applications.
CSL
Susumu Hayashi, Yohji Akama
2001 B conf
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.
CSL
Yohji Akama
1999 — conf
A Study of Abramsky's Linear Chemical Abstract Machine.
TLCA
Seikoh Mikami, Yohji Akama
1998 — conf
SN Combinators and Partial Combinatory Algebras.
RTA
Yohji Akama
1997 — conf
A Lambda-to-CL Translation for Strong Normalization.
TLCA
Yohji Akama
1996 J jnl
Normal Proofs and Their Grammar.
Inf. Comput.
Masako Takahashi, Yohji Akama, Sachio Hirokawa
1994 — conf
Normal Proofs and Their Grammar.
TACS
Masako Takahashi, Yohji Akama, Sachio Hirokawa
1993 — conf
On Mints' Reduction for ccc-Calculus.
TLCA
Yohji Akama