Hajime Ishihara

	2012
41		Hajime Ishihara: Two subcategories of apartness spaces. Ann. Pure Appl. Logic 163(2): 132-139 (2012)
40		Hajime Ishihara: The uniform boundedness theorem and a boundedness principle. Ann. Pure Appl. Logic 163(8): 1057-1061 (2012)
39		Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster: A predicative completion of a uniform space. Ann. Pure Appl. Logic 163(8): 975-980 (2012)
	2011
38		Hajime Ishihara, Peter Schuster: On the contrapositive of countable choice. Arch. Math. Log. 50(1-2): 137-143 (2011)
	2008
37		Yuichiro Murachi, Yuki Fukuyama, Ryo Yamamoto, Junichi Miyakoshi, Hiroshi Kawaguchi, Hajime Ishihara, Masayuki Miyama, Yoshio Matsuda, Masahiko Yoshimoto: A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition. IEICE Transactions 91-C(4): 457-464 (2008)
36		Hajime Ishihara, Peter Schuster: A continuity principle, a version of Baire's theorem and a boundedness principle. J. Symb. Log. 73(4): 1354-1360 (2008)
35		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Computability and Complexity in Analysis. J. UCS 14(6): 800 (2008)
34		Robin Havea, Hajime Ishihara, Luminita Vîta: Separation properties in neighbourhood and quasi-apartness spaces. Math. Log. Q. 54(1): 58-64 (2008)
33		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54(5): 453 (2008)
32		Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta: Apartness, compactness and nearness. Theor. Comput. Sci. 405(1-2): 3-10 (2008)
	2007
31		Hajime Ishihara: Unique Existence and Computability in Constructive Reverse Mathematics. CiE 2007: 368-377
	2006
30		Hajime Ishihara, Erik Palmgren: Quotient topologies in constructive set theory and type theory. Ann. Pure Appl. Logic 141(1-2): 257-265 (2006)
29		Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta: Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Logic 141(1-2): 296-306 (2006)
28		Hajime Ishihara: Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. Notre Dame Journal of Formal Logic 47(2): 249-252 (2006)
27		Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)
	2005
26		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
25		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
24		Takuya Iida, Hajime Ishihara: Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions. IEICE Transactions 88-C(9): 1809-1816 (2005)
23		Laura Crosilla, Hajime Ishihara, Peter Schuster: On constructing completions. J. Symb. Log. 70(3): 969-978 (2005)
22		Cristian S. Calude, Hajime Ishihara: Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. J. UCS 11(12): 1863-1865 (2005)
21		Josef Berger, Hajime Ishihara: Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Q. 51(4): 360-364 (2005)
	2004
20		Hajime Ishihara, Peter Schuster: Compactness under constructive scrutiny. Math. Log. Q. 50(6): 540-550 (2004)
	2002
19		Douglas S. Bridges, Hajime Ishihara, Peter Schuster: Compactness and Continuity, Constructively Revisited. CSL 2002: 89-102
18		Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin: Some Results on Automatic Structures. LICS 2002: 235-
17		Hajime Ishihara, Bakhadyr Khoussainov: Complexity of Some Infinite Games Played on Finite Graphs. WG 2002: 270-281
16		Hajime Ishihara, Satoru Yoshida: A Constructive Look at The Completeness of The Space D(R). J. Symb. Log. 67(4): 1511-1519 (2002)
15		Hajime Ishihara, Toshihiko Kurata: Completeness of intersection and union type assignment systems for call-by-value lambda-models. Theor. Comput. Sci. 272(1-2): 197-221 (2002)
	2001
14		Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi: Coding with Minimal Programs. Int. J. Found. Comput. Sci. 12(4): 479-490 (2001)
	2000
13		Hajime Ishihara: A Canonical Model Construction for Substructural Logics. J. UCS 6(1): 155-168 (2000)
12		Hajime Ishihara: A Note on the Gödel-Gentzen Translation. Math. Log. Q. 46(1): 135-137 (2000)
	1999
11		Hajime Ishihara: Function algebraic characterizations of the polytime functions. Computational Complexity 8(4): 346-356 (1999)
	1998
10		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Logic 93(1-3): 115-123 (1998)
9		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998)
8		Douglas S. Bridges, Hajime Ishihara: A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44: 545-552 (1998)
	1997
7		Hajime Ishihara: Sequential Continuity of Linear Mappings in Constructive Mathematics. J. UCS 3(11): 1250-1254 (1997)
6		Hajime Ishihara, Bakhadyr Khoussainov: Effectiveness of the Completeness Theorem for an Intermediate Logic. J. UCS 3(11): 1255-1265 (1997)
	1994
5		Douglas S. Bridges, Hajime Ishihara: Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994)
4		Douglas S. Bridges, Hajime Ishihara: Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994)
	1992
3		Hajime Ishihara: Continuity Properties in Constructive Mathematics. J. Symb. Log. 57(2): 557-565 (1992)
	1991
2		Hajime Ishihara: Constructive Compact Operators on a Hilbert Space. Ann. Pure Appl. Logic 52(1-2): 31-37 (1991)
1		Hajime Ishihara: Continuity and Nondiscontinuity in Constructive Mathematics. J. Symb. Log. 56(4): 1349-1354 (1991)

Coauthor Index

1	Peter Aczel	[27]
2	Josef Berger	[21] [39]
3	Vasco Brattka	[33] [35]
4	Douglas S. Bridges	[4] [5] [8] [19] [25] [26] [32]
5	Cristian S. Calude (Cristian Calude)	[14] [22]
6	Laura Crosilla	[23] [27]
7	Yuki Fukuyama	[37]
8	Robin Havea	[34]
9	Takuya Iida	[24]
10	Hiroshi Kawaguchi	[37]
11	Bakhadyr Khoussainov	[6] [9] [10] [17] [18]
12	Toshihiko Kurata	[15]
13	Yoshio Matsuda	[37]
14	Ray Mines	[29]
15	Junichi Miyakoshi	[37]
16	Masayuki Miyama	[37]
17	Yuichiro Murachi	[37]
18	Anil Nerode	[9] [10]
19	Erik Palmgren	[27] [30] [39]
20	Sasha Rubin	[18]
21	Matthias Schröder	[33] [35]
22	Peter Schuster (Peter M. Schuster)	[19] [20] [23] [25] [26] [27] [29] [32] [36] [38] [39]
23	Luminita Vîta (Luminita Simona Vîta)	[25] [26] [29] [32] [34]
24	Takeshi Yamaguchi	[14]
25	Ryo Yamamoto	[37]
26	Satoru Yoshida	[16]
27	Masahiko Yoshimoto	[37]
28	Ning Zhong	[33] [35]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page