The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hajime Ishihara: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Douglas S. Bridges, Hajime Ishihara, Peter Schuster
    Compactness and Continuity, Constructively Revisited. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:89-102 [Conf]
  2. Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
    Compactness in apartness spaces? [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  3. Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
    Some Results on Automatic Structures. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:235-0 [Conf]
  4. Hajime Ishihara, Bakhadyr Khoussainov
    Complexity of Some Infinite Games Played on Finite Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 2002, pp:270-281 [Conf]
  5. Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
    Strong continuity implies uniform sequential continuity. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:7, pp:887-895 [Journal]
  6. Hajime Ishihara
    Constructive Compact Operators on a Hilbert Space. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:31-37 [Journal]
  7. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
    Decidable Kripke Models of Intuitionistic Theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1998, v:93, n:1-3, pp:115-123 [Journal]
  8. Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
    Quasi-apartness and neighbourhood spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:296-306 [Journal]
  9. Hajime Ishihara, Erik Palmgren
    Quotient topologies in constructive set theory and type theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:257-265 [Journal]
  10. Hajime Ishihara
    Function algebraic characterizations of the polytime functions. [Citation Graph (0, 0)][DBLP]
    Computational Complexity, 1999, v:8, n:4, pp:346-356 [Journal]
  11. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
    Computable Kripke Models and Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:143, n:2, pp:205-230 [Journal]
  12. Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi
    Coding with Minimal Programs. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:4, pp:479-490 [Journal]
  13. Hajime Ishihara
    Continuity and Nondiscontinuity in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:4, pp:1349-1354 [Journal]
  14. Hajime Ishihara
    Continuity Properties in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:2, pp:557-565 [Journal]
  15. Hajime Ishihara, Satoru Yoshida
    A Constructive Look at The Completeness of The Space D(R). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:4, pp:1511-1519 [Journal]
  16. Cristian S. Calude, Hajime Ishihara
    Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:12, pp:1863-1865 [Journal]
  17. Hajime Ishihara
    A Canonical Model Construction for Substructural Logics. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:155-168 [Journal]
  18. Hajime Ishihara
    Sequential Continuity of Linear Mappings in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1250-1254 [Journal]
  19. Hajime Ishihara, Bakhadyr Khoussainov
    Effectiveness of the Completeness Theorem for an Intermediate Logic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1255-1265 [Journal]
  20. Douglas S. Bridges, Hajime Ishihara
    Complements of Intersections in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:35-43 [Journal]
  21. Douglas S. Bridges, Hajime Ishihara
    Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:519-527 [Journal]
  22. Douglas S. Bridges, Hajime Ishihara
    A Definitive Constructive Open Mapping Theorem? [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1998, v:44, n:, pp:545-552 [Journal]
  23. Hajime Ishihara
    A Note on the Gödel-Gentzen Translation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:135-137 [Journal]
  24. Hajime Ishihara, Peter Schuster
    Compactness under constructive scrutiny. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:6, pp:540-550 [Journal]
  25. Josef Berger, Hajime Ishihara
    Brouwer's fan theorem and unique existence in constructive analysis. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:4, pp:360-364 [Journal]
  26. Hajime Ishihara, Toshihiko Kurata
    Completeness of intersection and union type assignment systems for call-by-value lambda-models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:272, n:1-2, pp:197-221 [Journal]
  27. Hajime Ishihara
    Unique Existence and Computability in Constructive Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    CiE, 2007, pp:368-377 [Conf]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002