Edit Profile (opens in new tab) Richter, Michael M. Co-Author Distance Author ID: richter.michael-m Published as: Richter, Michael M.; Richter, M. M.; Richter, Michael more...less External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef Documents Indexed: 33 Publications since 1971, including 5 Books 18 Contributions as Editor Biographic References: 1 Publication Co-Authors: 42 Co-Authors with 32 Joint Publications 607 Co-Co-Authors all top 5 Co-Authors 18 single-authored 7 Börger, Egon 6 Kleine Büning, Hans 4 Benninghofen, Benjamin 3 Szabo, Manfred Egon 2 Kemmerich, Susanne 2 Lenski, Wolfgang 2 Ratsch, Ulrich 2 Stamatescu, Ion-Olimpiu 1 Althoff, Klaus-Dieter 1 Arikawa, Setsuo 1 Bergmann, Ralph 1 Bock, Hans-Hermann 1 Burkhard, Hans-Dieter 1 Chambers, Christopher P. 1 Christaller, Thomas 1 Du, Gengshen 1 Hein, Hans-Werner 1 Keeney, Ralph L. 1 Këpuska, Veton 1 Kühn, Reimer 1 Martini, Simone 1 Möhring, Rolf H. 1 Mougouie, Babak 1 Müller, Gert Heinz 1 Nökel, Klaus 1 Oberschelp, Walter 1 Otto, Friedrich 1 Otway, H. 1 Paul, Sheuli 1 Radermacher, Franz Josef 1 Rehbold, Robert 1 Ruhe, Günther 1 Schinzel, Britta 1 Schmidt, Gabriele R. 1 Schneider, Marina 1 Schönfeld, Wolfgang 1 Silaghi, Marius-Călin 1 Smith, Carl H. 1 Stroyan, Keith D. 1 Weber, Rosina O. 1 Wess, Stefan 1 Wette-Roch, Elisabeth 1 Wiehagen, Rolf 1 Zeugmann, Thomas all top 5 Serials 10 Lecture Notes in Computer Science 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Lecture Notes in Mathematics 1 Fundamenta Mathematicae 1 Proceedings of the London Mathematical Society. Third Series 1 Studia Logica 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Annales Societatis Mathematicae Polonae. Series IV 1 Social Choice and Welfare 1 New Generation Computing 1 Computing and Informatics 1 Mathematisch-Physikalische Semesterberichte, Neue Folge 1 Informatik-Fachberichte 1 Annals of Operations Research all top 5 Fields 37 Computer science (68-XX) 18 General and overarching topics; collections (00-XX) 18 Mathematical logic and foundations (03-XX) 4 Group theory and generalizations (20-XX) 4 Real functions (26-XX) 3 General algebraic systems (08-XX) 2 History and biography (01-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Functions of a complex variable (30-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 61 times in 58 Documents Cited by ▼ Year ▼ Systems of reductions. Zbl 0636.68027 Benninghofen, B.; Kemmerich, S.; Richter, M. M. 18 1987 Towards a nonstandard analysis of programs. Zbl 0507.03030 Richter, M. M.; Szabo, M. E. 7 1983 Limites in Kategorien von Relationalsystemen. (Limits in categories of relational systems.). Zbl 0227.02033 Richter, Michael 6 1971 Ideale Punkte, Monaden und Nichtstandard-Methoden. Zbl 0487.03040 Richter, Michael M. 5 1982 A general theory of superinfinitesimals. Zbl 0633.03067 Benninghofen, Benjamin; Richter, Michael M. 4 1987 Nonstandard computation theory. Zbl 0606.03020 Richter, M. M.; Szabó, M. E. 4 1986 Logikkalküle. Zbl 0381.03002 Richter, Michael M. 3 1978 Superinfinitesimals in topology and functional analysis. Zbl 0643.46053 Stroyan, K. D.; Benninghofen, B.; Richter, M. M. 2 1989 Some reordering properties for inequality proof trees. Zbl 0574.68076 Richter, Michael M. 2 1984 Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 – October 2, 1992. Selected papers. Zbl 0852.00039 2 1993 Bemerkungen über die Automorphismengruppe von homogenen Boole’schen Algebren. (Remarks on the automorphism group of homogeneous Boolean algebras). Zbl 0649.06007 Kemmerich, Susanne; Richter, Michael M. 1 1987 Nonstandard methods in combinatorics and theoretical computer science. Zbl 0669.03040 Richter, M. M.; Szabo, M. E. 1 1989 Models and sets. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I. Zbl 0547.00008 1 1984 Über die unendlich kleinen Größen in der Analysis. Zbl 0318.26004 Richter, Michael M. 1 1976 Computer science logic. 4th workshop, CSL ’90, Heidelberg, Germany, October 1–5, 1990. Proceedings. Zbl 0782.00052 1 1991 Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7–11, 1991. Proceedings. Zbl 0772.68004 1 1992 Case-based reasoning research and development. 7th international conference on case-based reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13–16, 2007. Proceedings. Zbl 1166.68306 1 2007 Adaptivity and learning. An interdisciplinary debate. Zbl 1028.00010 1 2003 Case-based reasoning research and development. 7th international conference on case-based reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13–16, 2007. Proceedings. Zbl 1166.68306 1 2007 Adaptivity and learning. An interdisciplinary debate. Zbl 1028.00010 1 2003 Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 – October 2, 1992. Selected papers. Zbl 0852.00039 2 1993 Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7–11, 1991. Proceedings. Zbl 0772.68004 1 1992 Computer science logic. 4th workshop, CSL ’90, Heidelberg, Germany, October 1–5, 1990. Proceedings. Zbl 0782.00052 1 1991 Superinfinitesimals in topology and functional analysis. Zbl 0643.46053 Stroyan, K. D.; Benninghofen, B.; Richter, M. M. 2 1989 Nonstandard methods in combinatorics and theoretical computer science. Zbl 0669.03040 Richter, M. M.; Szabo, M. E. 1 1989 Systems of reductions. Zbl 0636.68027 Benninghofen, B.; Kemmerich, S.; Richter, M. M. 18 1987 A general theory of superinfinitesimals. Zbl 0633.03067 Benninghofen, Benjamin; Richter, Michael M. 4 1987 Bemerkungen über die Automorphismengruppe von homogenen Boole’schen Algebren. (Remarks on the automorphism group of homogeneous Boolean algebras). Zbl 0649.06007 Kemmerich, Susanne; Richter, Michael M. 1 1987 Nonstandard computation theory. Zbl 0606.03020 Richter, M. M.; Szabó, M. E. 4 1986 Some reordering properties for inequality proof trees. Zbl 0574.68076 Richter, Michael M. 2 1984 Models and sets. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I. Zbl 0547.00008 1 1984 Towards a nonstandard analysis of programs. Zbl 0507.03030 Richter, M. M.; Szabo, M. E. 7 1983 Ideale Punkte, Monaden und Nichtstandard-Methoden. Zbl 0487.03040 Richter, Michael M. 5 1982 Logikkalküle. Zbl 0381.03002 Richter, Michael M. 3 1978 Über die unendlich kleinen Größen in der Analysis. Zbl 0318.26004 Richter, Michael M. 1 1976 Limites in Kategorien von Relationalsystemen. (Limits in categories of relational systems.). Zbl 0227.02033 Richter, Michael 6 1971 all cited Publications top 5 cited Publications all top 5 Cited by 66 Authors 4 Otto, Friedrich 4 Sain, Ildikó 3 Dekov, Deko V. 3 Szabo, Manfred Egon 2 Bündgen, Reinhard 2 Dershowitz, Nachum 2 Farkas, E. J. 2 Ganzinger, Harald 2 Pasztor, Ana 2 Rosický, Jiří 1 Abbadini, Marco 1 Andreev, P. V. 1 Andréka, Hajnal 1 Bachmair, Leo 1 Bagaria, Joan 1 Bertoglio, Néstor 1 Brian, William Rea 1 Brin, Matthew G. 1 Brooke-Taylor, Andrew D. 1 Chuaqui Kettlun, Rolando Basim 1 Cooperman, Gene 1 Coyle, D. G. 1 Cutland, Nigel J. 1 Epstein, David Bernard Alper 1 Finkelstein, Larry A. 1 Fülöp, Zoltán 1 Goldblatt, Robert Ian 1 Hasegawa, Masahito 1 Hertrich-Jeromin, Udo J. 1 Hofbauer, Dieter 1 Holt, Derek F. 1 Jouannaud, Jean-Pierre 1 Klop, Jan Willem 1 Kobayashi, Yuji 1 Koppelberg, Sabine 1 Kühn, Reimer 1 Kusraev, Anatoly Georgievich 1 Kutateladze, Semën Samsonovich 1 Lin, Qihang 1 Madlener, Klaus E. 1 Makowsky, Johann-Andreas 1 Needham, Roger E. 1 Németi, István 1 Padawitz, Peter 1 Potgieter, Petrus H. 1 Prokhorova, Marina F. 1 Rabe, Florian 1 Rees, Stephen E. 1 Reggio, Luca 1 Richter, Michael M. 1 Rosinger, Elemer E. 1 Schmidt-Schauß, Manfred 1 Shul’geifer, E. G. 1 Stamatescu, Ion-Olimpiu 1 Troelstra, Anne Sjerp 1 Tsalenko, M. Sh. 1 Vágvölgyi, Sándor 1 Van den Berg, Imme Pieter 1 Volger, Hugo 1 Volkert, Klaus Thomas 1 Wagner, Dorothea 1 Waldmann, Uwe 1 Wang, Tong 1 Woods, Alan Robert 1 Wu, Jianglun 1 Zhang, Louxin all top 5 Cited in 27 Serials 9 Theoretical Computer Science 4 Annals of Pure and Applied Logic 4 Journal of Symbolic Computation 3 Information and Computation 2 Communications in Algebra 2 Discrete Applied Mathematics 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Proceedings of the American Mathematical Society 2 Siberian Mathematical Journal 2 Studia Logica 2 Applied Categorical Structures 1 Acta Informatica 1 Biological Cybernetics 1 Journal of Mathematical Analysis and Applications 1 Mathematical Notes 1 Mathematische Semesterberichte 1 The Mathematical Intelligencer 1 Archiv der Mathematik 1 Geometriae Dedicata 1 Journal of Soviet Mathematics 1 Mathematical Systems Theory 1 Mathematische Zeitschrift 1 Semigroup Forum 1 Topology and its Applications 1 Journal of Machine Learning Research (JMLR) 1 Natural Computing all top 5 Cited in 16 Fields 33 Computer science (68-XX) 32 Mathematical logic and foundations (03-XX) 13 Group theory and generalizations (20-XX) 6 Category theory; homological algebra (18-XX) 4 General algebraic systems (08-XX) 4 General topology (54-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-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.