Marian Boykan Pour-El - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2000

The Degree of Unsolvability of a Real NumberAnthony J. Dunlop, Marian Boykan Pour-El. cca 2001: 16-29 [doi]

1999

From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable AnalysisMarian Boykan Pour-El. TCS, 219(1-2):319-329, 1999. [doi]

The Structure of Computability in Analysis and Physical TheoryMarian Boykan Pour-El. In Edward R. Griffor, editor, Handbook of Computability Theory. Volume 140 of Studies in Logic and the Foundations of Mathematics, pages 449-471, North-Holland, 1999. [doi]

1997

The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere ComputableMarian Boykan Pour-El, Ning Zhong. mlq, 43:499-509, 1997.

1996

The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere ComputableMarian Boykan Pour-El, Ning Zhong. cca 1996: [doi]

1989

Computability in analysis and physicsMarian Boykan Pour-El, Jonathan Ian Richards. Perspectives in Mathematical Logic, Springer, 1989.

1980

Differentiability properties of computable functions - a summaryMarian Boykan Pour-El, I. Richards 0002. actaC, 4:123-125, 1980.

1978

Computer Science And Recursion TheoryMarian Boykan Pour-El. acm 1978: 15-20 [doi]

1975

On a simple definition of computable function of a real variable-with applications to functions of a complex variableMarian Boykan Pour-El, Jerome Caldwell. mlq, 21(1):1-19, 1975. [doi]

1970

Axiomatizable Theories with Few Axiomatizable ExtensionsDonald A. Martin, Marian Boykan Pour-El. JSYML, 35(2):205-209, 1970.

1968

Effectively Extensible TheoriesMarian Boykan Pour-El. JSYML, 33(1):56-68, 1968.

Sign in or sign up to see more results.

runs on WebDSL