Hajime Ishihara
Affiliations: Japan Advanced Institute of Science and Technology (JAIST), Nomi, Ishikawa, Japan
According to our database^{1},
Hajime Ishihara
authored at least 63 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on jaist.ac.jp

on andrej.com
On csauthors.net:
Bibliography
2024
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).
Dagstuhl Reports, 2024
2023
Bull. Symb. Log., September, 2023
J. Log. Comput., July, 2023
2021
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472).
Dagstuhl Reports, 2021
CoRR, 2021
2020
Arch. Math. Log., 2020
2019
Ann. Pure Appl. Log., 2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019
2018
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Arch. Math. Log., 2018
2017
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.
Math. Struct. Comput. Sci., 2017
2016
Math. Log. Q., 2016
Math. Log. Q., 2016
2015
Completeness and cocompleteness of the categories of basic pairs and concrete spaces.
Math. Struct. Comput. Sci., 2015
Math. Struct. Comput. Sci., 2015
Arch. Math. Log., 2015
2014
Classical propositional logic and decidability of variables in intuitionistic propositional logic.
Log. Methods Comput. Sci., 2014
2013
Math. Log. Q., 2013
Ann. Pure Appl. Log., 2013
2012
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.
Reports Math. Log., 2012
Ann. Pure Appl. Log., 2012
Ann. Pure Appl. Log., 2012
Ann. Pure Appl. Log., 2012
2011
Arch. Math. Log., 2011
2008
Theor. Comput. Sci., 2008
Math. Log. Q., 2008
Math. Log. Q., 2008
J. Univers. Comput. Sci., 2008
J. Symb. Log., 2008
IEICE Trans. Electron., 2008
2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
Stud Logica, 2006
Notre Dame J. Formal Log., 2006
Ann. Pure Appl. Log., 2006
Ann. Pure Appl. Log., 2006
2005
Math. Log. Q., 2005
Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.
J. Univers. Comput. Sci., 2005
J. Symb. Log., 2005
Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions.
IEICE Trans. Electron., 2005
Arch. Math. Log., 2005
Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005
Constructive reverse mathematics: compactness properties.
Proceedings of the From sets and types to topology and analysis, 2005
2004
Math. Log. Q., 2004
2002
Completeness of intersection and union type assignment systems for callbyvalue lambdamodels.
Theor. Comput. Sci., 2002
J. Symb. Log., 2002
Proceedings of the GraphTheoretic Concepts in Computer Science, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
Int. J. Found. Comput. Sci., 2001
Proceedings of the Combinatorics, 2001
2000
Math. Log. Q., 2000
J. Univers. Comput. Sci., 2000
1999
Comput. Complex., 1999
1998
Math. Log. Q., 1998
Inf. Comput., 1998
Ann. Pure Appl. Log., 1998
1997
J. Univers. Comput. Sci., 1997
J. Univers. Comput. Sci., 1997
1994
Math. Log. Q., 1994
Math. Log. Q., 1994
1992
J. Symb. Log., 1992
1991
J. Symb. Log., 1991
Ann. Pure Appl. Log., 1991
1990
Math. Log. Q., 1990