×
Compute Distance To:
Author ID: ishihara.hajime Recent zbMATH articles by "Ishihara, Hajime"
Published as: Ishihara, Hajime; Ishihara, H.

Publications by Year

Citations contained in zbMATH Open

72 Publications have been cited 401 times in 210 Documents Cited by Year
Constructive reverse mathematics: compactness properties. Zbl 1095.03075
Ishihara, Hajime
30
2005
Continuity and nondiscontinuity in constructive mathematics. Zbl 0745.03048
Ishihara, Hajime
23
1991
Continuity properties in constructive mathematics. Zbl 0771.03018
Ishihara, Hajime
21
1992
On the constructive Hahn-Banach theorem. Zbl 0638.46056
Ishihara, Hajime
19
1989
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
15
2005
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
14
1990
Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces. Zbl 0637.47028
Ishihara, Hajime; Takahashi, Wataru
12
1987
A constructive look at the completeness of the space \({\mathcal D}(\mathbb{R})\). Zbl 1053.03036
Ishihara, Hajime; Yoshida, Satoru
10
2002
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
Linear mappings are fairly well-behaved. Zbl 0715.46053
Bridges, Douglas; Ishihara, Hajime
9
1990
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
8
2004
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
8
2005
Modules of convexity, characteristic of convexity and fixed point theorems. Zbl 0654.47041
Ishihara, Hajime; Takahashi, Wataru
8
1987
A nonlinear ergodic theorem for a reversible semigroup of Lipschitzian mappings in a Hilbert space. Zbl 0692.47010
Ishihara, Hajime; Takahashi, Wataru
8
1988
Markov’s principle, Church’s thesis and Lindelöf’s theorem. Zbl 0795.03087
Ishihara, Hajime
8
1993
Quotient topologies in constructive set theory and type theory. Zbl 1094.03053
Ishihara, Hajime; Palmgren, Erik
7
2006
Fixed point theorems for Lipschitzian semigroups. Zbl 0638.47061
Ishihara, Hajime
7
1989
Constructive compact operators on a Hilbert space. Zbl 0752.47040
Ishihara, Hajime
7
1991
A constructive version of Banach’s inverse mapping theorem. Zbl 0835.46068
Ishihara, Hajime
7
1994
Sequentially continuity in constructive mathematics. Zbl 0987.03053
Ishihara, Hajime
7
2001
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
6
2008
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
6
2006
Locating the range of an operator on a Hilbert space. Zbl 0801.46096
Bridges, Douglas; Ishihara, Hajime
6
1992
Weak König’s lemma implies Brouwer’s fan theorem: a direct proof. Zbl 1111.03052
Ishihara, Hajime
6
2006
On Brouwer’s continuity principle. Zbl 1437.03175
Ishihara, Hajime
5
2018
Locating subsets of a Hilbert space. Zbl 0982.46062
Ishihara, Hajime
5
2001
Some principles weaker than Markov’s principle. Zbl 1354.03093
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako
5
2015
A note on the Gödel-Gentzen translation. Zbl 0939.03008
Ishihara, Hajime
5
2000
Relating Bishop’s function spaces to neighbourhood spaces. Zbl 1275.03163
Ishihara, Hajime
5
2013
Two subcategories of apartness spaces. Zbl 1251.03094
Ishihara, Hajime
5
2012
Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 07001422
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas
4
2018
A definitive constructive open mapping theorem? Zbl 0917.46072
Bridges, Douglas; Ishihara, Hajime
4
1998
Constructive closed range and open mapping theorems. Zbl 1018.46038
Bridges, Douglas; Ishihara, Hajime
4
2000
Generalized geometric theories and set-generated classes. Zbl 1362.03056
Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi
4
2015
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
4
2016
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
4
1998
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
4
2019
Classical propositional logic and decidability of variables in intuitionistic propositional logic. Zbl 1337.03017
Ishihara, Hajime
3
2014
A canonical model construction for substructural logics. Zbl 0959.03015
Ishihara, Hajime
3
2000
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
A constructive uniform continuity theorem. Zbl 1004.54011
Ishihara, Hajime; Schuster, Peter
3
2002
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
3
2003
Constructive compact linear mappings. Zbl 0661.46070
Ishihara, Hajime
3
1989
Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models. Zbl 0984.68026
Ishihara, Hajime; Kurata, Toshihiko
3
2002
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Zbl 1362.03057
Ishihara, Hajime; Kawai, Tatsuji
3
2015
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
3
2016
Locating subsets of a normed space. Zbl 1128.46030
Ishihara, Hajime; Vîţă, Luminiţa
3
2003
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
The uniform boundedness theorem and a boundedness principle. Zbl 1251.03087
Ishihara, Hajime
3
2012
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
3
2001
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihara, Hajime; Mines, Ray
2
2001
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
2
1999
Compactness and continuity, constructively revisited. Zbl 1021.03056
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter
2
2002
A new constructive version of Baire’s theorem. Zbl 1111.46058
Bridges, Douglas; Ishihara, Hajime; Vîţă, Luminiţa
2
2006
Spectra of selfadjoint operators in constructive analysis. Zbl 0852.47010
Bridges, Douglas; Ishihara, Hajime
2
1996
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
2
2002
Locating the range of an operator with an adjoint. Zbl 1092.47063
Bridges, Douglas; Ishihara, Hajime; Spitters, Bas
2
2002
Absolute continuity and the uniqueness of the constructive functional calculus. Zbl 0813.03042
Bridges, Douglas; Ishihara, Hajime
2
1994
Relativization of real numbers to a universe. Zbl 1167.03039
Ishihara, Hajime
1
2009
Function algebraic characterizations of the polytime functions. Zbl 0962.68073
Ishihara, Hajime
1
1999
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Non-stationary jump phenomena of non-linear control systems by statistical linearization method. Zbl 0224.93046
Soeda, T.; Ishihara, H.
1
1971
Constructive reflexibility of a uniformly convex Banach space. Zbl 0695.46037
Ishihara, Hajime
1
1988
Constructive existence of Minkowski functionals. Zbl 0776.46039
Ishihara, Hajime
1
1992
Unique existence and computability in constructive reverse mathematics. Zbl 1151.03351
Ishihara, Hajime
1
2007
Separation properties in neighbourhood and quasi-apartness spaces. Zbl 1134.03036
Havea, Robin; Ishihara, Hajime; Vîţă, Luminiţa
1
2008
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Complements of intersections in constructive mathematics. Zbl 0813.03043
Bridges, Douglas S.; Ishihara, Hajime
1
1994
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
4
2019
On Brouwer’s continuity principle. Zbl 1437.03175
Ishihara, Hajime
5
2018
Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. Zbl 07001422
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas
4
2018
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
4
2016
A note on the independence of premiss rule. Zbl 1357.03039
Ishihara, Hajime; Nemoto, Takako
3
2016
Some principles weaker than Markov’s principle. Zbl 1354.03093
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako
5
2015
Generalized geometric theories and set-generated classes. Zbl 1362.03056
Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi
4
2015
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Zbl 1362.03057
Ishihara, Hajime; Kawai, Tatsuji
3
2015
Classical propositional logic and decidability of variables in intuitionistic propositional logic. Zbl 1337.03017
Ishihara, Hajime
3
2014
Relating Bishop’s function spaces to neighbourhood spaces. Zbl 1275.03163
Ishihara, Hajime
5
2013
Two subcategories of apartness spaces. Zbl 1251.03094
Ishihara, Hajime
5
2012
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
The uniform boundedness theorem and a boundedness principle. Zbl 1251.03087
Ishihara, Hajime
3
2012
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
Kronecker’s density theorem and irrational numbers in constructive reverse mathematics. Zbl 1280.03059
Ishihara, Hajime; Schuster, Peter
1
2010
Relativization of real numbers to a universe. Zbl 1167.03039
Ishihara, Hajime
1
2009
A continuity principle, a version of Baire’s theorem and a boundedness principle. Zbl 1160.03041
Ishihara, Hajime; Schuster, Peter
6
2008
Apartness, compactness and nearness. Zbl 1156.54013
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter M.; Vîţă, Luminiţa
3
2008
Separation properties in neighbourhood and quasi-apartness spaces. Zbl 1134.03036
Havea, Robin; Ishihara, Hajime; Vîţă, Luminiţa
1
2008
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Unique existence and computability in constructive reverse mathematics. Zbl 1151.03351
Ishihara, Hajime
1
2007
Quotient topologies in constructive set theory and type theory. Zbl 1094.03053
Ishihara, Hajime; Palmgren, Erik
7
2006
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
6
2006
Weak König’s lemma implies Brouwer’s fan theorem: a direct proof. Zbl 1111.03052
Ishihara, Hajime
6
2006
A new constructive version of Baire’s theorem. Zbl 1111.46058
Bridges, Douglas; Ishihara, Hajime; Vîţă, Luminiţa
2
2006
Constructive reverse mathematics: compactness properties. Zbl 1095.03075
Ishihara, Hajime
30
2005
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
15
2005
Strong continuity implies uniform sequential continuity. Zbl 1088.03048
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminiţa
9
2005
On constructing completions. Zbl 1099.03044
Crosilla, Laura; Ishihara, Hajime; Schuster, Peter
8
2005
Compactness under constructive scrutiny. Zbl 1060.03084
Ishihara, Hajime; Schuster, Peter
8
2004
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
3
2003
Locating subsets of a normed space. Zbl 1128.46030
Ishihara, Hajime; Vîţă, Luminiţa
3
2003
A constructive look at the completeness of the space \({\mathcal D}(\mathbb{R})\). Zbl 1053.03036
Ishihara, Hajime; Yoshida, Satoru
10
2002
A constructive uniform continuity theorem. Zbl 1004.54011
Ishihara, Hajime; Schuster, Peter
3
2002
Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models. Zbl 0984.68026
Ishihara, Hajime; Kurata, Toshihiko
3
2002
Compactness and continuity, constructively revisited. Zbl 1021.03056
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter
2
2002
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
2
2002
Locating the range of an operator with an adjoint. Zbl 1092.47063
Bridges, Douglas; Ishihara, Hajime; Spitters, Bas
2
2002
Sequentially continuity in constructive mathematics. Zbl 0987.03053
Ishihara, Hajime
7
2001
Locating subsets of a Hilbert space. Zbl 0982.46062
Ishihara, Hajime
5
2001
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
3
2001
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihara, Hajime; Mines, Ray
2
2001
A note on the Gödel-Gentzen translation. Zbl 0939.03008
Ishihara, Hajime
5
2000
Constructive closed range and open mapping theorems. Zbl 1018.46038
Bridges, Douglas; Ishihara, Hajime
4
2000
A canonical model construction for substructural logics. Zbl 0959.03015
Ishihara, Hajime
3
2000
Sequential compactness in constructive analysis. Zbl 1001.03056
Bridges, D.; Ishihara, H.; Schuster, P.
2
1999
Function algebraic characterizations of the polytime functions. Zbl 0962.68073
Ishihara, Hajime
1
1999
A definitive constructive open mapping theorem? Zbl 0917.46072
Bridges, Douglas; Ishihara, Hajime
4
1998
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
4
1998
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
Sequential continuity of linear mappings in constructive mathematics. Zbl 0970.46050
Ishihara, Hajime
6
1997
Spectra of selfadjoint operators in constructive analysis. Zbl 0852.47010
Bridges, Douglas; Ishihara, Hajime
2
1996
A constructive version of Banach’s inverse mapping theorem. Zbl 0835.46068
Ishihara, Hajime
7
1994
Absolute continuity and the uniqueness of the constructive functional calculus. Zbl 0813.03042
Bridges, Douglas; Ishihara, Hajime
2
1994
Complements of intersections in constructive mathematics. Zbl 0813.03043
Bridges, Douglas S.; Ishihara, Hajime
1
1994
Markov’s principle, Church’s thesis and Lindelöf’s theorem. Zbl 0795.03087
Ishihara, Hajime
8
1993
Continuity properties in constructive mathematics. Zbl 0771.03018
Ishihara, Hajime
21
1992
Locating the range of an operator on a Hilbert space. Zbl 0801.46096
Bridges, Douglas; Ishihara, Hajime
6
1992
Constructive existence of Minkowski functionals. Zbl 0776.46039
Ishihara, Hajime
1
1992
Continuity and nondiscontinuity in constructive mathematics. Zbl 0745.03048
Ishihara, Hajime
23
1991
Constructive compact operators on a Hilbert space. Zbl 0752.47040
Ishihara, Hajime
7
1991
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
14
1990
Linear mappings are fairly well-behaved. Zbl 0715.46053
Bridges, Douglas; Ishihara, Hajime
9
1990
On the constructive Hahn-Banach theorem. Zbl 0638.46056
Ishihara, Hajime
19
1989
Fixed point theorems for Lipschitzian semigroups. Zbl 0638.47061
Ishihara, Hajime
7
1989
Constructive compact linear mappings. Zbl 0661.46070
Ishihara, Hajime
3
1989
A nonlinear ergodic theorem for a reversible semigroup of Lipschitzian mappings in a Hilbert space. Zbl 0692.47010
Ishihara, Hajime; Takahashi, Wataru
8
1988
Constructive reflexibility of a uniformly convex Banach space. Zbl 0695.46037
Ishihara, Hajime
1
1988
Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces. Zbl 0637.47028
Ishihara, Hajime; Takahashi, Wataru
12
1987
Modules of convexity, characteristic of convexity and fixed point theorems. Zbl 0654.47041
Ishihara, Hajime; Takahashi, Wataru
8
1987
Non-stationary jump phenomena of non-linear control systems by statistical linearization method. Zbl 0224.93046
Soeda, T.; Ishihara, H.
1
1971
all top 5

Cited by 160 Authors

35 Ishihara, Hajime
33 Bridges, Douglas Suth
19 Schuster, Peter Michael
11 Berger, Josef
10 Diener, Hannes
9 Nemoto, Takako
8 Petrakis, Iosif
7 Hendtlass, Matthew Ralph John
7 Kawai, Tatsuji
7 Takahashi, Wataru
7 Vîţă, Luminiţa Simona
6 Fujiwara, Makoto
6 Wessel, Daniel
5 Lubarsky, Robert S.
5 Rathjen, Michael
5 Svindland, Gregor
4 Brattka, Vasco
4 Calude, Cristian S.
4 Khoussainov, Bakhadyr M.
4 Sanders, Sam
4 Velupillai, Kumaraswamy (Vela)
3 Aczel, Peter
3 Ciraulo, Francesco
3 Kamide, Norihiro
3 Kohlenbach, Ulrich Wilhelm
3 Maschio, Samuele
3 Nerode, Anil
3 Richman, Fred
3 Rinaldi, Davide
3 Spitters, Bas
3 Xu, Hong-Kun
2 Baroni, Marian Alexandru
2 Dediu, Luminiţa Simona
2 Gherardi, Guido
2 Havea, Robin S.
2 Hötzel Escardó, Martín
2 Jain, Sanjay
2 Loeb, Iris
2 Maietti, Maria Emilia
2 McKubre-Jordens, Maarten
2 Morillon, Marianne
2 Moschovakis, Joan Rand
2 Palmgren, Erik
2 Sambin, Giovanni
2 Stephan, Frank
2 Tan, Kok-Keong
2 Tanaka, Yasuhito
2 Vafeiadou, Garyfallia
2 Van den Berg, Benno
2 Zhang, Peijun
1 Albius, Edmond
1 Banaschewski, Bernhard
1 Baronti, Marco
1 Bauer, Andrej
1 Beckenstein, Edward
1 Booij, Auke B.
1 Buss, Samuel R.
1 Carnielli, Walter Alexandre
1 Chen, Ray-Ming
1 Cheng, Qingjin
1 Chumuang, Kornwirin
1 Crosilla, Laura
1 Deng, Lei
1 Djafari Rouhani, Behzad
1 Dodu, Juliette
1 Düntsch, Ivo
1 Dumitrescu, Monica E. Bad
1 Eberhard, Sebastian
1 Fellin, Giulio
1 Fleischer, Rudolf
1 Forster, Yannick
1 Ganguli, Suman
1 Gaspar, Jaime
1 Gatema, Raweewan
1 Ghilezan, Silvia
1 Gordeev, Lev
1 Górnicki, Jarosław
1 Granström, Johan Georg
1 Haeusler, Edward Hermann
1 Hagemeier, Christian
1 He, Lili
1 Hirata, Ayana
1 Hoyrup, Mathieu
1 Hudzik, Henryk
1 Humberstone, Lloyd
1 Iemhoff, Rosalie
1 Jaipanya, Supansa
1 Jakšić, Svetlana
1 Kaczmarek, Radosław
1 Kato, Mikio
1 Katz, Karin Usadi
1 Katz, Mikhail G.
1 Kentaro, Sato
1 Khaliq, Abdul Q. M.
1 Khaliq, Imran
1 Khan, Abdul Qadeer
1 Kihara, Takayuki
1 Kim, Gang-Eun
1 Kim, Jong Kyu
1 Kirst, Dominik
...and 60 more Authors
all top 5

Cited in 51 Serials

26 Annals of Pure and Applied Logic
21 Archive for Mathematical Logic
15 Mathematical Logic Quarterly (MLQ)
14 The Journal of Symbolic Logic
11 Indagationes Mathematicae. New Series
6 Journal of Mathematical Analysis and Applications
6 Proceedings of the American Mathematical Society
6 Theoretical Computer Science
6 Logical Methods in Computer Science
5 Studia Logica
5 MSCS. Mathematical Structures in Computer Science
5 Nonlinear Analysis. Theory, Methods & Applications
4 The Bulletin of Symbolic Logic
3 Applied Mathematics and Computation
3 Journal of Philosophical Logic
3 Kodai Mathematical Journal
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Notre Dame Journal of Formal Logic
3 New Mathematics and Natural Computation
3 Computability
2 Bulletin of the Section of Logic
2 Journal of Complexity
2 LMS Journal of Computation and Mathematics
2 The Journal of Logic and Algebraic Programming
2 Thai Journal of Mathematics
2 Fixed Point Theory and Applications
2 Journal of Logic and Analysis
1 Mathematische Semesterberichte
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Mathematical Economics
1 Monatshefte für Mathematik
1 Quaestiones Mathematicae
1 SIAM Journal on Computing
1 Topology and its Applications
1 Mathematical Social Sciences
1 Information and Computation
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Georgian Mathematical Journal
1 Fractals
1 Documenta Mathematica
1 Theory of Computing Systems
1 Acta Mathematica Sinica. English Series
1 Foundations of Science
1 Oberwolfach Reports
1 Logica Universalis
1 Logic and Analysis
1 Confluentes Mathematici
1 ISRN Applied Mathematics
1 ISRN Computational Mathematics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year