Marian Boykan Pour-El

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
c3		Anthony J. Dunlop, Marian Boykan Pour-El: The Degree of Unsolvability of a Real Number. CCA 2000: 16-29
	1999
j5		Marian Boykan Pour-El: From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable Analysis. Theor. Comput. Sci. 219(1-2): 319-329 (1999)
	1997
j4		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
c2		Marian Boykan Pour-El, Ning Zhong: The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable. CCA 1996
	1989
b1		Marian Boykan Pour-El, Jonathan Ian Richards: Computability in analysis and physics. Perspectives in Mathematical Logic, Springer 1989, isbn 978-3-540-50035-3, pp. I-X, 1-206
	1980
j3		Marian Boykan Pour-El, I. Richards: Differentiability properties of computable functions - a summary. Acta Cybern. 4: 123-125 (1980)
	1978
c1		Marian Boykan Pour-El: Computer Science And Recursion Theory. ACM Annual Conference (1) 1978: 15-20
	1970
j2		Donald A. Martin, Marian Boykan Pour-El: Axiomatizable Theories with Few Axiomatizable Extensions. J. Symb. Log. 35(2): 205-209 (1970)
	1968
j1		Marian Boykan Pour-El: Effectively Extensible Theories. J. Symb. Log. 33(1): 56-68 (1968)

Coauthor Index

Last update Thu May 23 17:09:59 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page