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

Yohji Akama Coauthor index pubzone.org

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

DBLP keys2011
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: Set systems: order types, continuous nondeterministic deformations, and quasi-orders CoRR abs/1106.5294: (2011)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Kei Irie: VC dimension of ellipsoids CoRR abs/1109.4347: (2011)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: A new order theory of set systems and better quasi-orderings CoRR abs/1112.2801: (2011)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: Set systems: Order types, continuous nondeterministic deformations, and quasi-orders. Theor. Comput. Sci. 412(45): 6235-6251 (2011)
2010
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano: VC Dimensions of Principal Component Analysis. Discrete & Computational Geometry 44(3): 589-598 (2010)
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. LATA 2009: 93-104
2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Thomas Zeugmann: Consistent and coherent learning with delta-delay. Inf. Comput. 206(11): 1362-1374 (2008)
2006
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Thomas Zeugmann: Consistency Conditions for Inductive Inference of Recursive Functions. JSAI 2006: 251-264
2005
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Shinji Iizuka: Real Number Representations of Graph-Directed IFS Attractors. CCA 2005: 3-24
2004
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS 2004: 192-201
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: Limiting partial combinatory algebras. Theor. Comput. Sci. 311(1-3): 199-220 (2004)
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusumu Hayashi, Yohji Akama: Limit-Computable Mathematics and Its Applications. CSL 2002: 1
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. CSL 2001: 399-413
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeikoh Mikami, Yohji Akama: A Study of Abramsky's Linear Chemical Abstract Machine. TLCA 1999: 243-257
1998
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: SN Combinators and Partial Combinatory Algebras. RTA 1998: 302-316
1997
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji Akama: A Lambda-to-CL Translation for Strong Normalization. TLCA 1997: 1-10
1996
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. Inf. Comput. 125(2): 144-153 (1996)
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. TACS 1994: 465-493
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYohji 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]
5Kei Irie [15] [18]
6Akitoshi Kawamura [15]
7Ulrich Kohlenbach [10]
8Seikoh Mikami [6]
9Masako Takahashi [2] [3]
10Yasutaka Uwano [15]
11Thomas Zeugmann [12] [13]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page