Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ishihara, Hajime"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Apartness, compactness and nearness
Douglas Bridges
,
Hajime Ishihara
,
Peter M. Schuster
,
Luminiţa Vîţă
Theoretical Computer Science
405
(1-2), 2008, pp. 3-10
Complexity of some infinite games played on finite graphs
Hajime Ishihara
,
Bakhadyr Khoussainov
Lecture Notes in Computer Science
2573
, 2002, pp. 270-281
Completeness of intersection and union type assignment systems for call-by-value
\lambda
-models
Hajime Ishihara
,
Toshihiko Kurata
Theoretical Computer Science
272
(1-2), 2002, pp. 197-221
Coding with minimal programs
Cristian S. Calude
,
Hajime Ishihara
,
Takeshi Yamaguchi
International Journal of Foundations of Computer Science
12
(4), 2001, pp. 479-489
Computable Kripke models and intermediate logics
Hajime Ishihara
,
Bakhadyr Khoussainov
,
Anil Nerode
Information and Computation
143
(2), 1998, pp. 205-230