|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yohji Akama |
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
Set systems: order types, continuous nondeterministic deformations, and quasi-orders |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yohji Akama, Kei Irie |
VC dimension of ellipsoids |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yohji Akama |
A new order theory of set systems and better quasi-orderings |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano |
VC Dimensions of Principal Component Analysis. |
Discrete & Computational Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama, Thomas Zeugmann |
Consistent and coherent learning with delta-delay. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama, Thomas Zeugmann |
Consistency Conditions for Inductive Inference of Recursive Functions. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama, Shinji Iizuka |
Real Number Representations of Graph-Directed IFS Attractors. |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yohji Akama |
Limiting partial combinatory algebras. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach |
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Hayashi, Yohji Akama |
Limit-Computable Mathematics and Its Applications. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity |
| 1 | Seikoh Mikami, Yohji Akama |
A Study of Abramsky's Linear Chemical Abstract Machine. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
SN Combinators and Partial Combinatory Algebras. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
A Lambda-to-CL Translation for Strong Normalization. |
TLCA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Masako Takahashi, Yohji Akama, Sachio Hirokawa |
Normal Proofs and Their Grammar. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Masako Takahashi, Yohji Akama, Sachio Hirokawa |
Normal Proofs and Their Grammar. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
On Mints' Reduction for ccc-Calculus. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")