A cartesian closed category in Martin-Lof's intuitionistic type theory

By Valentini S.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 189-219

Elsevier

Access to resources Recommend Favorite

A Supra-Convergent Finite Difference Scheme for the Poisson and Heat Equations on Irregular Domains and Non-Graded Adaptive Cartesian Grids

By Chen Han   Min Chohong   Gibou Frédéric  

Journal of Scientific Computing, Vol. 31, Iss. 1-2, 2007-05 ,pp. : 19-60

Springer Publishing Company

Access to resources Recommend Favorite

Fast and efficient 3D boundary element method for closed domains

By Buchau André   Hafla Wolfgang   Rucker Wolfgang M.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 23, Iss. 4, 2004-12 ,pp. : 859-865

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Cartesian logic

By Freyd  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 3-21

Elsevier

Access to resources Recommend Favorite

Panconnectivity of Cartesian product graphs

By Lu You   Xu Jun-Ming  

The Journal of Supercomputing, Vol. 56, Iss. 2, 2011-05 ,pp. : 182-189

Springer Publishing Company

Access to resources Recommend Favorite