TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Hajime Ishihara Professor
School of Information Science(Department of Information Science・Theoretical Information Science)

Results 41-55 of about 55

  • 41. Completeness of intersection and union type assignment systems for call-by-value lambda-models,Hajime Ishihara and Toshihiko Kurata,Theoret. Comput. Sci.,vol.272,pp.197-221,2002
  • 42. Some constructive uniform continuity theorem,Hajime Ishihara and Peter Schuster,Q. J. Math.,vol.53,pp.185-193,2002
  • 43. Compactness and continuity, constructively revisited,Douglas Bridges, Hajime Ishihara and Peter Schuster,In: J. Bradfield ed., Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, September 22-25, 2002, Proceedings, Springer, Berlin and Heidelberg, Lect. Notes Comput. Sci.,vol. 2471,pp.89-102,2002
  • 44. Complexity of some infinite games played on finite graphs,Hajime Ishihara and Bakhadyr Khoussainov,In: L. Kucera ed., Graph-Theoretic Concepts in Computer Science, 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers, Springer, Berlin and Heidelberg, Lect. Notes Comput. Sci.,vol. 2573,pp.270-281,2002
  • 45. A constructive look at the completeness of D(R),Hajime Ishihara and Satoru Yoshida,J. Symbolic Logic,vol.67,pp.1511-1519,2002
  • 46. Constructive unbounded operators,Douglas Bridges and Hajime Ishihara,In: P. Schuster, U. Berger and H. Osswald eds., Reuniting the Antipodes - Constructive and Nonstandard views of the Continuum, Proceedings of the Symposion in San Servolo/Venice, Italy, May 17-22, 1999, Kluwer Academic Publishers, Dordrecht,pp. 25-37,2001
  • 47. Various continuity properties in constructive analysis,Hajime Ishihara and Ray Mines,In: P. Schuster, U. Berger and H. Osswald eds., Reuniting the Antipodes - Constructive and Nonstandard views of the Continuum, Proceedings of the Symposion in San Servolo/Venice, Italy, May 17-22, 1999, Kluwer Academic Publishers, Dordrecht,pp.103-110,2001
  • 48. Sequential continuity in constructive mathematics,Hajime Ishihara,In: C.S. Clude, M.J. Dinneen and S. Sburlan eds., Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01) in Constanta, Romania, July 2-6, 2001, Springer-Verlag, London,5-12,2001
  • 49. Locating subsets of a Hilbert space,Hajime Ishihara,Proc. Amer. Math. Soc.,vol.129,pp.1385-1390,2001
  • 50. Minimal programs are almost optimal,Cristian Calude, Hajime Ishihara and Takeshi Yamaguchi,Internat. J. Foundations of Comput. Sci.,vol.12,pp.479-489,2001
  • 51. Constuctive closed range and open mapping theorems,Douglas Bridges and Hajime Ishihara,Indag. Math. (N.S.),vol.11,pp.509-516,2000
  • 52. A note on Goedel-Gentzen translation,Hajime Ishihara,MLQ Math. Log. Q.,vol.46,pp.135-137,2000
  • 53. A canonical model construction for substructural logics,Hajime Ishihara,J. UCS,vol.6,pp.155-168,2000
  • 54. Function algebraic characterizations of the polytime functions,Hajime Ishihara,Comput. Complexity,vol.8,pp.346-356,1999
  • 55. Sequential compactness in constructive analysis,Douglas Bridges, Hajime Ishihara and Peter Schuster,Oesterr. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II,vol.208,pp.159-163,1999

≪ Back ]  1  2  3