×

Schwichtenberg, Helmut

Author ID: schwichtenberg.helmut Recent zbMATH articles by "Schwichtenberg, Helmut"
Published as: Schwichtenberg, Helmut; Schwichtenberg, H.
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
Documents Indexed: 74 Publications since 1969, including 3 Books and 1 Additional arXiv Preprint
13 Contributions as Editor · 2 Further Contributions
Reviewing Activity: 25 Reviews
Biographic References: 2 Publications
Co-Authors: 48 Co-Authors with 53 Joint Publications
673 Co-Co-Authors
all top 5

Co-Authors

36 single-authored
12 Berger, Ulrich
4 Miyamoto, Kenji
4 Seisenberger, Monika
4 Troelstra, Anne Sjerp
4 Wainer, Stanley Scott
3 Aehlig, Klaus
3 Schuster, Peter Michael
2 Aczel, Peter
2 Barendregt, Hendrik Pieter
2 Barwise, Kenneth Jon
2 Bellantoni, Stephen J.
2 Benl, Holger
2 Berger, Josef
2 Bridges, Douglas Suth
2 Burgess, John P.
2 Buss, Samuel R.
2 Davis, Martin David
2 Devlin, Keith J.
2 Eklof, Paul C.
2 Enderton, Herbert B.
2 Feferman, Solomon
2 Fourman, Michael Paul
2 Harrington, Leo A.
2 Ishihara, Hajime
2 Jech, Thomas J.
2 Juhász, István
2 Kechris, Alexander S.
2 Keisler, Howard Jerome
2 Kock, Anders Jungersen
2 Kunen, Kenneth
2 Macintyre, Angus John
2 Mainzer, Klaus
2 Makkai, Michael
2 Martin, Donald A.
2 Morley, Michael Darwin
2 Moschovakis, Yiannis Nicholas
2 Paris, Jeffrey Bruce
2 Rabin, Michael O.
2 Reyes, Gonzalo E.
2 Rudin, Mary Ellen
2 Schütte, Kurt
2 Shönfield, Joseph R.
2 Shore, Richard Arnold
2 Simpson, Stephen G.
2 Smoryński, Craig
2 Statman, Richard
2 Stroyan, Keith D.
2 Wiesnet, Franziskus
1 Bauer, Friedrich Ludwig
1 Berghofer, Stefan
1 Brauer, Wilfried
1 Buchholz, Wilfried
1 Clote, Peter G.
1 Diener, Hannes
1 Eberl, Matthias
1 Hofmann, Martin
1 Huber, Simon
1 Johannsen, Jan
1 Karádais, Basil A.
1 Keĭlis-Borok, Vladimir Isaakovich
1 Kohlenbach, Ulrich Wilhelm
1 Köpp, Nils
1 Letouzey, Pierre
1 Niggl, Karl-Heinz
1 Nordvall Forsberg, Fredrik
1 Pollack, Randy
1 Rathjen, Michael
1 Ratiu, Diana
1 Rödding, Dieter
1 Sakurai, Takafumi
1 Sato, Masahiko
1 Senjak, Christoph
1 Spies, Katharina
1 Steinbrüggen, Ralf
1 Stroetmann, Karl
1 Terwijn, Sebastiaan A.
1 Tsuiki, Hideki
1 van de Pol, Jan Cornelis
1 Wallmeier, Hans-Martin
1 Zuber, Wolfgang

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 728 times in 606 Documents Cited by Year
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
224
2000
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
147
1996
Proofs and computations. Zbl 1294.03006
Schwichtenberg, Helmut; Wainer, Stanley S.
41
2012
Higher type recursion, ramification and polynomial time. Zbl 0959.03027
Bellantoni, Stephen J.; Niggl, Karl-Heinz; Schwichtenberg, Helmut
18
2000
Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028
Schwichtenberg, Helmut
18
1971
Rekursionszahlen und die Grzegorczyk-Hierarchie. Zbl 0213.01801
Schwichtenberg, H.
16
1969
Refined program extraction from classical proofs. Zbl 0992.03070
Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut
15
2002
A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis. Zbl 1124.03042
Schwichtenberg, H.
13
2005
Proof theory at work: Program development in the minlog system. Zbl 1015.68177
Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang
13
1998
Strict functionals for termination proofs. Zbl 1063.03505
van de Pol, Jaco; Schwichtenberg, Helmut
13
1995
Definierbare Funktionen im \(\lambda\)-Kalkül mit Typen. Zbl 0329.02011
Schwichtenberg, Helmut
11
1976
Term rewriting for normalization by evaluation. Zbl 1054.68078
Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut
11
2003
Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika
10
2011
An upper bound for reduction sequences in the typed \(\lambda\)-calculus. Zbl 0719.03007
Schwichtenberg, Helmut
10
1991
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
10
1978
Logic for Gray-code computation. Zbl 1433.03120
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki
10
2016
Complexity of normalization in the pure typed lambda-calculus. Zbl 0537.03028
Schwichtenberg, Helmut
9
1982
Program extraction from normalization proofs. Zbl 1095.03016
Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut
8
2006
The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009
Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika
8
2001
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
8
2004
Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Zbl 0318.02047
Schwichtenberg, Helmut
8
1975
On bar recursion of types 0 and 1. Zbl 0433.03037
Schwichtenberg, Helmut
7
1979
Constructive analysis with witnesses. Zbl 1137.03327
Schwichtenberg, Helmut
6
2006
Program extraction in exact real arithmetic. Zbl 1362.03026
Miyamoto, Kenji; Schwichtenberg, Helmut
6
2015
Termination of permutative conversions in intuitionistic Gentzen calculi. Zbl 0913.68135
Schwichtenberg, Helmut
5
1999
Realizability interpretation of proofs in constructive analysis. Zbl 1166.03035
Schwichtenberg, Helmut
5
2008
Proofs as programs. Zbl 0794.03078
Schwichtenberg, Helmut
5
1992
Program development by proof transformation. Zbl 0856.03010
Berger, Ulrich; Schwichtenberg, Helmut
4
1995
Ordinal bounds for programs. Zbl 0864.03037
Schwichtenberg, Helmut; Wainer, Stanley S.
4
1995
An arithmetic for polynomial-time computation. Zbl 1118.03052
Schwichtenberg, Helmut
4
2006
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
4
2016
A syntactical analysis of non-size-increasing polynomial time computation. Zbl 1365.03028
Aehlig, Klaus; Schwichtenberg, Helmut
4
2002
Acceleration of molecular mechanic simulation by parallelization and fast multipole techniques. Zbl 1047.68641
Schwichtenberg, H.; Winter, G.; Wallmeier, H.
4
1999
Minimal from classical proofs. Zbl 1263.03053
Schwichtenberg, Helmut; Senjak, Christoph
4
2013
Recursion on the partial continuous functionals. Zbl 1137.03035
Schwichtenberg, Helmut
3
2008
Towards a formal theory of computability. Zbl 1245.03064
Huber, Simon; Karádais, Basil A.; Schwichtenberg, Helmut
3
2010
Classifying recursive functions. Zbl 0978.03035
Schwichtenberg, Helmut
3
1999
Feasible computation with higher types. Zbl 1064.03030
Schwichtenberg, Helmut; Bellantoni, Stephen J.
3
2002
Constructive solutions of continuous equations. Zbl 1074.03030
Schuster, Peter; Schwichtenberg, Helmut
3
2004
Proofs, lambda terms and control operators. Zbl 0881.03028
Schwichtenberg, Helmut
3
1997
Logic and the axiom of choice. Zbl 0435.03007
Schwichtenberg, H.
3
1979
Mathematical logic. (Mathematische Logik.) Zbl 0803.03001
Schütte, Kurt; Schwichtenberg, Helmut
3
1990
Viewing \({\lambda}\)-terms through maps. Zbl 1359.03016
Sato, Masahiko; Pollack, Randy; Schwichtenberg, Helmut; Sakurai, Takafumi
3
2013
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen. (A simple procedure for normalizing infinite derivations). Zbl 0655.03037
Schwichtenberg, H.
2
1987
Dialectica interpretation of well-founded induction. Zbl 1144.03035
Schwichtenberg, Helmut
2
2008
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
2
1982
Infinite terms and recursion in higher types. Zbl 0341.02033
Schwichtenberg, H.; Wainer, S. S.
2
1975
Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041
Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A.
2
2001
Bemerkungen zum Spektralproblem. Zbl 0242.02049
Rödding, D.; Schwichtenberg, H.
2
1972
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk- Hierarchie. Zbl 0257.02021
Schwichtenberg, Helmut
2
1972
Logic and algebra of specification. Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July 23 - August 4, 1991. Zbl 0818.68109
2
1993
Logic for exact real arithmetic. Zbl 07350773
Schwichtenberg, Helmut; Wiesnet, Franziskus
2
2021
Inverting monotone continuous functions in constructive analysis. Zbl 1137.03326
Schwichtenberg, Helmut
1
2006
Proof technology and computation. Papers from the summer school, Marktoberdorf, Germany, July 29–August 10, 2003. Zbl 1117.03008
1
2006
Decorating proofs. Zbl 1244.03159
Ratiu, Diana; Schwichtenberg, Helmut
1
2010
Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21–26, 2000. Proceedings. Zbl 0944.00037
1
2000
Finite notations for infinite terms. Zbl 0935.03066
Schwichtenberg, Helmut
1
1998
Mathematical logic: proof theory, type theory and constructive mathematics. Zbl 1066.03501
1
2005
Proof search in minimal logic. Zbl 1109.68580
Schwichtenberg, Helmut
1
2004
Minimal from classical proofs. Zbl 0819.68031
Schwichtenberg, H.
1
1992
A bound for Dickson’s lemma. Zbl 1459.03092
Berger, Josef; Schwichtenberg, Helmut
1
2017
Program extraction from nested definitions. Zbl 1317.68223
Miyamoto, Kenji; Nordvall Forsberg, Fredrik; Schwichtenberg, Helmut
1
2013
Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school “Proof and computation”, Fischbachau, Germany, October 3–8, 2016. Zbl 1400.03005
1
2018
The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024
Berger, U.; Schwichtenberg, H.
1
1996
Logic for exact real arithmetic. Zbl 07350773
Schwichtenberg, Helmut; Wiesnet, Franziskus
2
2021
Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school “Proof and computation”, Fischbachau, Germany, October 3–8, 2016. Zbl 1400.03005
1
2018
A bound for Dickson’s lemma. Zbl 1459.03092
Berger, Josef; Schwichtenberg, Helmut
1
2017
Logic for Gray-code computation. Zbl 1433.03120
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki
10
2016
Embedding classical in minimal implicational logic. Zbl 1367.03020
Ishihara, Hajime; Schwichtenberg, Helmut
4
2016
Program extraction in exact real arithmetic. Zbl 1362.03026
Miyamoto, Kenji; Schwichtenberg, Helmut
6
2015
Minimal from classical proofs. Zbl 1263.03053
Schwichtenberg, Helmut; Senjak, Christoph
4
2013
Viewing \({\lambda}\)-terms through maps. Zbl 1359.03016
Sato, Masahiko; Pollack, Randy; Schwichtenberg, Helmut; Sakurai, Takafumi
3
2013
Program extraction from nested definitions. Zbl 1317.68223
Miyamoto, Kenji; Nordvall Forsberg, Fredrik; Schwichtenberg, Helmut
1
2013
Proofs and computations. Zbl 1294.03006
Schwichtenberg, Helmut; Wainer, Stanley S.
41
2012
Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika
10
2011
Towards a formal theory of computability. Zbl 1245.03064
Huber, Simon; Karádais, Basil A.; Schwichtenberg, Helmut
3
2010
Decorating proofs. Zbl 1244.03159
Ratiu, Diana; Schwichtenberg, Helmut
1
2010
Realizability interpretation of proofs in constructive analysis. Zbl 1166.03035
Schwichtenberg, Helmut
5
2008
Recursion on the partial continuous functionals. Zbl 1137.03035
Schwichtenberg, Helmut
3
2008
Dialectica interpretation of well-founded induction. Zbl 1144.03035
Schwichtenberg, Helmut
2
2008
Program extraction from normalization proofs. Zbl 1095.03016
Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut
8
2006
Constructive analysis with witnesses. Zbl 1137.03327
Schwichtenberg, Helmut
6
2006
An arithmetic for polynomial-time computation. Zbl 1118.03052
Schwichtenberg, Helmut
4
2006
Inverting monotone continuous functions in constructive analysis. Zbl 1137.03326
Schwichtenberg, Helmut
1
2006
Proof technology and computation. Papers from the summer school, Marktoberdorf, Germany, July 29–August 10, 2003. Zbl 1117.03008
1
2006
A direct proof of the equivalence between Brouwer’s fan theorem and König’s lemma with a uniqueness hypothesis. Zbl 1124.03042
Schwichtenberg, H.
13
2005
Mathematical logic: proof theory, type theory and constructive mathematics. Zbl 1066.03501
1
2005
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
8
2004
Constructive solutions of continuous equations. Zbl 1074.03030
Schuster, Peter; Schwichtenberg, Helmut
3
2004
Proof search in minimal logic. Zbl 1109.68580
Schwichtenberg, Helmut
1
2004
Term rewriting for normalization by evaluation. Zbl 1054.68078
Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut
11
2003
Refined program extraction from classical proofs. Zbl 0992.03070
Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut
15
2002
A syntactical analysis of non-size-increasing polynomial time computation. Zbl 1365.03028
Aehlig, Klaus; Schwichtenberg, Helmut
4
2002
Feasible computation with higher types. Zbl 1064.03030
Schwichtenberg, Helmut; Bellantoni, Stephen J.
3
2002
The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009
Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika
8
2001
Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041
Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A.
2
2001
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
224
2000
Higher type recursion, ramification and polynomial time. Zbl 0959.03027
Bellantoni, Stephen J.; Niggl, Karl-Heinz; Schwichtenberg, Helmut
18
2000
Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21–26, 2000. Proceedings. Zbl 0944.00037
1
2000
Termination of permutative conversions in intuitionistic Gentzen calculi. Zbl 0913.68135
Schwichtenberg, Helmut
5
1999
Acceleration of molecular mechanic simulation by parallelization and fast multipole techniques. Zbl 1047.68641
Schwichtenberg, H.; Winter, G.; Wallmeier, H.
4
1999
Classifying recursive functions. Zbl 0978.03035
Schwichtenberg, Helmut
3
1999
Proof theory at work: Program development in the minlog system. Zbl 1015.68177
Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang
13
1998
Finite notations for infinite terms. Zbl 0935.03066
Schwichtenberg, Helmut
1
1998
Proofs, lambda terms and control operators. Zbl 0881.03028
Schwichtenberg, Helmut
3
1997
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
147
1996
The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024
Berger, U.; Schwichtenberg, H.
1
1996
Strict functionals for termination proofs. Zbl 1063.03505
van de Pol, Jaco; Schwichtenberg, Helmut
13
1995
Program development by proof transformation. Zbl 0856.03010
Berger, Ulrich; Schwichtenberg, Helmut
4
1995
Ordinal bounds for programs. Zbl 0864.03037
Schwichtenberg, Helmut; Wainer, Stanley S.
4
1995
Logic and algebra of specification. Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July 23 - August 4, 1991. Zbl 0818.68109
2
1993
Proofs as programs. Zbl 0794.03078
Schwichtenberg, Helmut
5
1992
Minimal from classical proofs. Zbl 0819.68031
Schwichtenberg, H.
1
1992
An upper bound for reduction sequences in the typed \(\lambda\)-calculus. Zbl 0719.03007
Schwichtenberg, Helmut
10
1991
Mathematical logic. (Mathematische Logik.) Zbl 0803.03001
Schütte, Kurt; Schwichtenberg, Helmut
3
1990
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen. (A simple procedure for normalizing infinite derivations). Zbl 0655.03037
Schwichtenberg, H.
2
1987
Complexity of normalization in the pure typed lambda-calculus. Zbl 0537.03028
Schwichtenberg, Helmut
9
1982
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
2
1982
On bar recursion of types 0 and 1. Zbl 0433.03037
Schwichtenberg, Helmut
7
1979
Logic and the axiom of choice. Zbl 0435.03007
Schwichtenberg, H.
3
1979
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
10
1978
Definierbare Funktionen im \(\lambda\)-Kalkül mit Typen. Zbl 0329.02011
Schwichtenberg, Helmut
11
1976
Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Zbl 0318.02047
Schwichtenberg, Helmut
8
1975
Infinite terms and recursion in higher types. Zbl 0341.02033
Schwichtenberg, H.; Wainer, S. S.
2
1975
Bemerkungen zum Spektralproblem. Zbl 0242.02049
Rödding, D.; Schwichtenberg, H.
2
1972
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk- Hierarchie. Zbl 0257.02021
Schwichtenberg, Helmut
2
1972
Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028
Schwichtenberg, Helmut
18
1971
Rekursionszahlen und die Grzegorczyk-Hierarchie. Zbl 0213.01801
Schwichtenberg, H.
16
1969
all top 5

Cited by 571 Authors

17 Berger, Ulrich
17 Schwichtenberg, Helmut
12 Iemhoff, Rosalie
11 Negri, Sara
8 Niggl, Karl-Heinz
8 Poggiolesi, Francesca
7 Dal Lago, Ugo
7 Dyckhoff, Roy
7 Fiorentini, Camillo
7 Schuster, Peter Michael
7 Wainer, Stanley Scott
7 Weiermann, Andreas
6 Aehlig, Klaus
6 Ferrari, Mauro
6 Hofmann, Martin
6 Pattinson, Dirk
6 Tranchini, Luca
6 Wessel, Daniel
5 Espírito Santo, José Carlos
5 Pulcini, Gabriele
5 Pym, David J.
5 Wansing, Heinrich Theodor
4 Artemov, Sergei
4 Avigad, Jeremy
4 Baaz, Matthias
4 Ferreira, Fernando
4 Fiorino, Guido
4 Gratzl, Norbert
4 Hernest, Mircea-Dan
4 Hetzl, Stefan
4 Jouannaud, Jean-Pierre
4 Kohlenbach, Ulrich Wilhelm
4 Kürbis, Nils
4 Leitsch, Alexander
4 Leivant, Daniel M.
4 Leszczyńska-Jasion, Dorota
4 Masini, Andrea
4 Mints, Grigoriĭ Efroimovich
4 Nicolai, Carlo
4 Nigam, Vivek
4 Nipkow, Tobias
4 Orlandelli, Eugenio
4 Pimentel, Elaine
4 Pinto, Luís F.
4 Reis, Giselle
4 Rubio, Albert
4 Seisenberger, Monika
4 Sørensen, Morten Heine B.
4 Tsuiki, Hideki
4 Więckowski, Bartosz
4 Wiesnet, Franziskus
4 Zhang, Wenhui
3 Aschieri, Federico
3 Avron, Arnon
3 Borisavljević, Mirjana
3 Braüner, Torben
3 Buss, Samuel R.
3 Cantini, Andrea
3 Chlebowski, Szymon
3 Ciabattoni, Agata
3 Copello, Ernesto
3 Czajka, Łukasz
3 Fernández, Maribel
3 Ferreira, Gilda
3 Francez, Nissim
3 Galmiche, Didier
3 Gentilini, Paolo
3 Goré, Rajeev Prabhakar
3 Hakli, Raul
3 Indrzejczak, Andrzej
3 Kamide, Norihiro
3 Karádais, Basil A.
3 Kuznets, Roman
3 Lellmann, Björn
3 Maffezioli, Paolo
3 Miller, Dale Allen
3 Oliva, Paulo
3 Parlamento, Franco
3 Petrakis, Iosif
3 Petrić, Zoran
3 Piazza, Mario
3 Previale, Flavio
3 Read, Stephen
3 Rinaldi, Davide
3 Rosenblatt, Lucas Daniel
3 Salhi, Yakoub
3 Sano, Katsuhiko
3 Schröder, Lutz
3 Sieg, Wilfried
3 Stirton, William R.
3 Straßburger, Lutz
3 Szasz, Nora
3 Takemura, Ryo
3 Tamminga, Allard M.
3 Tasistro, Alvaro
3 Terui, Kazushige
3 Tesi, Matteo
3 Trifonov, Trifon A.
3 Visser, Albert
3 Yu, Junhua
...and 471 more Authors
all top 5

Cited in 75 Serials

62 Annals of Pure and Applied Logic
48 Theoretical Computer Science
39 Studia Logica
31 Archive for Mathematical Logic
26 Journal of Philosophical Logic
18 Synthese
18 The Review of Symbolic Logic
17 Information and Computation
17 Journal of Automated Reasoning
14 The Journal of Symbolic Logic
13 MSCS. Mathematical Structures in Computer Science
12 Logical Methods in Computer Science
11 Mathematical Logic Quarterly (MLQ)
11 Logica Universalis
10 Theory of Computing Systems
9 Notre Dame Journal of Formal Logic
9 Journal of Logic, Language and Information
8 The Bulletin of Symbolic Logic
7 Journal of Applied Non-Classical Logics
7 Logic and Logical Philosophy
6 Bulletin of the Section of Logic
6 Journal of Applied Logic
5 Journal of Functional Programming
5 The Journal of Logic and Algebraic Programming
4 Archiv für Mathematische Logik und Grundlagenforschung
4 Journal of Logical and Algebraic Methods in Programming
3 History and Philosophy of Logic
3 Indagationes Mathematicae. New Series
2 Information Processing Letters
2 Journal of Soviet Mathematics
2 RAIRO, Informatique Théorique
2 Journal of Mathematical Sciences (New York)
2 Annals of Mathematics and Artificial Intelligence
2 ACM Transactions on Computational Logic
2 Oberwolfach Reports
1 Communications in Algebra
1 Computers and Fluids
1 Journal of Computational Physics
1 Lithuanian Mathematical Journal
1 Mathematische Semesterberichte
1 Algebra and Logic
1 Applied Mathematics and Computation
1 Compositio Mathematica
1 Computing
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series A
1 Journal of Number Theory
1 Journal of Pure and Applied Algebra
1 Publications de l’Institut Mathématique. Nouvelle Série
1 SIAM Journal on Computing
1 Transactions of the American Mathematical Society
1 Theoria. Segunda Epoca
1 Journal of Symbolic Computation
1 New Generation Computing
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 Applicable Algebra in Engineering, Communication and Computing
1 Applied Categorical Structures
1 Selecta Mathematica. New Series
1 Engineering Analysis with Boundary Elements
1 Constraints
1 Topoi
1 Higher-Order and Symbolic Computation
1 Erkenntnis
1 LMS Journal of Computation and Mathematics
1 Journal of Computational Acoustics
1 Foundations of Physics
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Confluentes Mathematici
1 Journal of Logic and Analysis
1 RAIRO. Theoretical Informatics and Applications
1 Computability
1 ACM Transactions on Computation Theory
1 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.