dblp.uni-trier.dewww.uni-trier.de

Yohji Akama Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
14EEYohji Akama: Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. LATA 2009: 93-104
2008
13EEYohji Akama, Thomas Zeugmann: Consistent and coherent learning with delta-delay. Inf. Comput. 206(11): 1362-1374 (2008)
2006
12EEYohji 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
10EEYohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS 2004: 192-201
9EEYohji Akama: Limiting partial combinatory algebras. Theor. Comput. Sci. 311(1-3): 199-220 (2004)
2002
8EESusumu Hayashi, Yohji Akama: Limit-Computable Mathematics and Its Applications. CSL 2002: 1
2001
7EEYohji Akama: Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. CSL 2001: 399-413
1999
6EESeikoh Mikami, Yohji Akama: A Study of Abramsky's Linear Chemical Abstract Machine. TLCA 1999: 243-257
1998
5EEYohji 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

Coauthor Index

1Stefano Berardi [10]
2Susumu Hayashi [8] [10]
3Sachio Hirokawa [2] [3]
4Shinji Iizuka [11]
5Ulrich Kohlenbach [10]
6Seikoh Mikami [6]
7Masako Takahashi [2] [3]
8Thomas Zeugmann [12] [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)