Edit Profile (opens in new tab) Cichon, Adam Co-Author Distance Author ID: cichon.adam Published as: Cichon, Adam; Cichon, A. Documents Indexed: 4 Publications since 1992 Co-Authors: 6 Co-Authors with 4 Joint Publications 158 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Bonfante, Guillaume 2 Marion, Jean-Yves 2 Touzet, Hélène 1 Buchholz, Wilfried 1 Lescanne, Pierre 1 Weiermann, Andreas Serials 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 67 times in 58 Documents Cited by ▼ Year ▼ A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023 Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas 30 1994 Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 Polynomial interpretations and the complexity of algorithms. Zbl 0925.68266 Cichon, Adam; Lescanne, Pierre 9 1992 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 A uniform approach to fundamental sequences and hierarchies. Zbl 0812.03023 Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas 30 1994 Polynomial interpretations and the complexity of algorithms. Zbl 0925.68266 Cichon, Adam; Lescanne, Pierre 9 1992 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 17 Weiermann, Andreas 8 Moser, Georg 4 Avanzini, Martin 4 Lucas, Salvador 4 Wainer, Stanley Scott 3 Arai, Toshiyasu 3 Bonfante, Guillaume 3 Dal Lago, Ugo 3 Eguchi, Naohi 3 Middeldorp, Aart 3 Pohlers, Wolfram 2 Baillot, Patrick 2 Emmes, Fabian 2 Fernández Duque, David 2 Geser, Alfons 2 Giesl, Jürgen 2 Kotlarski, Henryk 2 Moyen, Jean-Yves 2 Noschinski, Lars 2 Ohlebusch, Enno 2 Schnabl, Andreas 2 Wilken, Gunnar 2 Zantema, Hans 1 Aguilera, Juan Pablo 1 Bendkowski, Maciej 1 Bigorajska, Teresa 1 Carlson, Timothy J. 1 Contejean, Evelyne 1 Deloup, Florian L. 1 Férée, Hugo 1 Gordeev, Lev 1 Guiraud, Yves 1 Guo, Liye 1 Hainry, Emmanuel 1 Henrot, Antoine 1 Hirokawa, Nao 1 Hoyrup, Mathieu 1 Kop, Cynthia 1 Kristiansen, Lars 1 Lee, Gyesik 1 Marché, Claude 1 Marion, Jean-Yves 1 Martin, Ursula 1 Omri, Eran 1 Pakhomov, Fedor N. 1 Péchoux, Romain 1 Schlage-Puchta, Jan-Christoph 1 Sternagel, Thomas 1 Tomás, Ana Paula 1 Urbain, Xavier 1 Vale, Deivid 1 Zdanowski, Konrad all top 5 Cited in 16 Serials 6 Annals of Pure and Applied Logic 5 The Journal of Symbolic Logic 5 Theoretical Computer Science 4 Information and Computation 3 Journal of Automated Reasoning 3 The Bulletin of Symbolic Logic 2 Archive for Mathematical Logic 2 Applicable Algebra in Engineering, Communication and Computing 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 MSCS. Mathematical Structures in Computer Science 1 Mathematical Logic Quarterly (MLQ) 1 RAIRO. Theoretical Informatics and Applications 1 Logical Methods in Computer Science 1 Forum of Mathematics, Sigma 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 37 Mathematical logic and foundations (03-XX) 35 Computer science (68-XX) 4 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) Citations by Year