 | 2009 |
|---|
| 14 |       | Yohji Akama:
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.
LATA 2009: 93-104 |
| 2008 |
|---|
| 13 | | Yohji Akama,
Thomas Zeugmann:
Consistent and coherent learning with delta-delay.
Inf. Comput. 206(11): 1362-1374 (2008) |
| 2006 |
|---|
| 12 | | Yohji Akama,
Thomas Zeugmann:
Consistency Conditions for Inductive Inference of Recursive Functions.
JSAI 2006: 251-264 |
| 2005 |
|---|
| 11 |  | Yohji Akama,
Shinji Iizuka:
Real Number Representations of Graph-Directed IFS Attractors.
CCA 2005: 3-24 |
| 2004 |
|---|
| 10 | | Yohji Akama,
Stefano Berardi,
Susumu Hayashi,
Ulrich Kohlenbach:
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.
LICS 2004: 192-201 |
| 9 | | Yohji Akama:
Limiting partial combinatory algebras.
Theor. Comput. Sci. 311(1-3): 199-220 (2004) |
| 2002 |
|---|
| 8 | | Susumu Hayashi,
Yohji Akama:
Limit-Computable Mathematics and Its Applications.
CSL 2002: 1 |
| 2001 |
|---|
| 7 | | Yohji Akama:
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.
CSL 2001: 399-413 |
| 1999 |
|---|
| 6 | | Seikoh Mikami,
Yohji Akama:
A Study of Abramsky's Linear Chemical Abstract Machine.
TLCA 1999: 243-257 |
| 1998 |
|---|
| 5 | | Yohji Akama:
SN Combinators and Partial Combinatory Algebras.
RTA 1998: 302-316 |
| 1997 |
|---|
| 4 | | Yohji Akama:
A Lambda-to-CL Translation for Strong Normalization.
TLCA 1997: 1-10 |
| 1996 |
|---|
| 3 | | Masako Takahashi,
Yohji Akama,
Sachio Hirokawa:
Normal Proofs and Their Grammar.
Inf. Comput. 125(2): 144-153 (1996) |
| 1994 |
|---|
| 2 | | Masako Takahashi,
Yohji Akama,
Sachio Hirokawa:
Normal Proofs and Their Grammar.
TACS 1994: 465-493 |
| 1993 |
|---|
| 1 | | Yohji Akama:
On Mints' Reduction for ccc-Calculus.
TLCA 1993: 1-12 |
