dblp.uni-trier.dewww.uni-trier.de

Per Martin-Löf

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EEPer Martin-Löf: 100 years of Zermelo's axiom of choice: what was the problem with it? Comput. J. 49(3): 345-350 (2006)
1990
3 Per Martin-Löf, Grigori Mints: COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings Springer 1990
1988
2 Per Martin-Löf: Mathematics of infinity. Conference on Computer Logic 1988: 146-197
1966
1 Per Martin-Löf: The Definition of Random Sequences Information and Control 9(6): 602-619 (1966)

Coauthor Index

1Grigori Mints [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)