Edit Profile (opens in new tab) Schwichtenberg, Helmut Co-Author Distance Author ID: 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 all top 5 Serials 4 Theoretical Computer Science 4 Annals of Pure and Applied Logic 4 NATO ASI Series. Series F. Computer and Systems Sciences 3 Archiv für Mathematische Logik und Grundlagenforschung 2 Studia Logica 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Mathematical Logic Quarterly (MLQ) 2 Oberwolfach Reports 2 Cambridge Tracts in Theoretical Computer Science 2 Studies in Logic and the Foundations of Mathematics 2 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Parallel Computing 1 Information and Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Encyclopedia of Mathematics and Its Applications 1 Lecture Notes in Computer Science 1 NATO Science Series II: Mathematics, Physics and Chemistry 1 NATO Science Series III: Computer & Systems Sciences 1 Perspectives in Logic all top 5 Fields 78 Mathematical logic and foundations (03-XX) 38 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 31 Fields 524 Mathematical logic and foundations (03-XX) 198 Computer science (68-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 8 Category theory; homological algebra (18-XX) 7 History and biography (01-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 5 Number theory (11-XX) 3 General topology (54-XX) 3 Numerical analysis (65-XX) 3 Quantum theory (81-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Group theory and generalizations (20-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Algebraic topology (55-XX) 2 Fluid mechanics (76-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.