Constructive mathematics: a foundation for computable analysis

By Bridges D.S.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 95-109

Elsevier

Access to resources Recommend Favorite

Computable invariance

By Brattka V.  

Theoretical Computer Science, Vol. 210, Iss. 1, 1999-01 ,pp. : 3-20

Elsevier

Access to resources Recommend Favorite

CFD modelling of municipal solid waste incineration

By Chartier Jerome   Guernion Pierre-Yves   Milo Ivan  

Progress in Computational Fluid Dynamics, An International Journal, Vol. 7, Iss. 1, 2006-12 ,pp. : 19-24

Inderscience Publishers

Access to resources Recommend Favorite

Index sets in computable analysis

By Cenzer D.   Remmel J.B.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 111-150

Elsevier

Access to resources Recommend Favorite

Descriptive complexity of computable sequences

By Durand B.   Shen A.   Vereshchagin  

Theoretical Computer Science, Vol. 271, Iss. 1, 2002-01 ,pp. : 47-58

Elsevier

Access to resources Recommend Favorite