×

Richter, Michael M.

Author ID: richter.michael-m Recent zbMATH articles by "Richter, Michael M."
Published as: Richter, Michael M.; Richter, M. M.; Richter, Michael
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

Publications by Year

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

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.