TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Hajime Ishihara Professor
School of Information Science、Intelligent Robotics Area

Results 41-59 of about 59

  • 41. Ishihara's proof technique in constructive analysis,Douglas Bridges, Dirk van Dalen and Hajime Ishihara,Indag. Math.,vol.14,pp.163-168,2003
  • 42. Locating subsets of a normed space,Hajime Ishihara and Luminita Vita,Proc. Amer. Math. Soc.,vol.131,pp.3211-3220,2003
  • 43. Some constructive uniform continuity theorem,Hajime Ishihara and Peter Schuster,Q. J. Math.,vol.53,pp.185-193,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. Some results on automatic structures,Hajime Ishihara, Bakhdyr Khoussainov and Sasha Rubin,In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), July 22-25, 2002, Copenhagen, Denmark, Proceedings, IEEE Computer Society,pp.235-242,2002
  • 46. 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
  • 47. 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
  • 48. Locating the range of an operator with an adjoint,Douglas Bridges, Hajime Ishihara and Bas Spitters,Indag. Math. (N.S.),vol.13,pp.433-440,2002
  • 49. A constructive look at the completeness of D(R),Hajime Ishihara and Satoru Yoshida,J. Symbolic Logic,vol.67,pp.1511-1519,2002
  • 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. Locating subsets of a Hilbert space,Hajime Ishihara,Proc. Amer. Math. Soc.,vol.129,pp.1385-1390,2001
  • 52. 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
  • 53. 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
  • 54. 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
  • 55. Constuctive closed range and open mapping theorems,Douglas Bridges and Hajime Ishihara,Indag. Math. (N.S.),vol.11,pp.509-516,2000
  • 56. A canonical model construction for substructural logics,Hajime Ishihara,J. UCS,vol.6,pp.155-168,2000
  • 57. A note on Goedel-Gentzen translation,Hajime Ishihara,MLQ Math. Log. Q.,vol.46,pp.135-137,2000
  • 58. Function algebraic characterizations of the polytime functions,Hajime Ishihara,Comput. Complexity,vol.8,pp.346-356,1999
  • 59. 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