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

Marian Boykan Pour-El

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

2000
8EEAnthony J. Dunlop, Marian Boykan Pour-El: The Degree of Unsolvability of a Real Number. CCA 2000: 16-29
1999
7EEMarian Boykan Pour-El: From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable Analysis. Theor. Comput. Sci. 219(1-2): 319-329 (1999)
1997
6 Marian Boykan Pour-El, Ning Zhong: The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable. Math. Log. Q. 43: 499-509 (1997)
1996
5EEMarian Boykan Pour-El, Ning Zhong: The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable. CCA 1996
1980
4 Marian Boykan Pour-El, I. Richards: Differentiability properties of computable functions - a summary. Acta Cybern. 4: 123-125 (1980)
1978
3EEMarian Boykan Pour-El: Computer Science And Recursion Theory. ACM Annual Conference (1) 1978: 15-20
1970
2 Donald A. Martin, Marian Boykan Pour-El: Axiomatizable Theories with Few Axiomatizable Extensions. J. Symb. Log. 35(2): 205-209 (1970)
1968
1 Marian Boykan Pour-El: Effectively Extensible Theories. J. Symb. Log. 33(1): 56-68 (1968)

Coauthor Index

1Anthony J. Dunlop [8]
2Donald A. Martin [2]
3I. Richards [4]
4Ning Zhong [5] [6]

Colors in the list of coauthors

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