Results 191 to 200 of about 54,626 (205)

A unified approach to constructive and recursive analysis

Lecture Notes in Mathematics, 2006
Christoph Kreitz
exaly  

Interval arithmetic recursive subdivision for implicit functions and constructive solid geometry

Computer Graphics, 1992
exaly   +2 more sources

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

Logic, Epistemology, and the Unity of Science, 2014
Bo Göran Sundholm
exaly  

Constructive Membership Predicates as Index Types

Electronic Notes in Theoretical Computer Science, 2007
James Caldwell
exaly  

Strongly constructive models and numerations of the Boolean algebra of recursive sets

Algebra and Logic, 1971
exaly  

Recursive Functions and Constructive Mathematics

Logic, Epistemology, and the Unity of Science, 2014
exaly  

Effective choice of constructivizations and recursive consistency of problems on constructive models

Algebra and Logic, 1992
exaly  

Recursive models for constructive set theories

Annals of Mathematical Logic, 1982
exaly  

Constructive and recursive scattered order types

Lecture Notes in Mathematics, 1981
exaly