Search Results

Functional Interpretations of Constructive Set Theory in All Finite Types

Author: Diller, Justus

Source: dialectica, Volume 62, Number 2, June 2008 , pp. 149-177(29)

Publisher: Blackwell Publishing

Perfect Matchings in Bipartite Lattice Animals: Lower Bounds and Realizability

Author: Doli, Tomislav

Source: Journal of Mathematical Chemistry, Volume 38, Number 4, November 2005 , pp. 617-627(11)

Publisher: Springer

On the limiters of two-equation turbulence models

Authors: Chang Hwan Park; Seung O Park

Source: International Journal of Computational Fluid Dynamics, Volume 19, Number 1, January, 2005 , pp. 79-86(8)

Publisher: Taylor and Francis Ltd

Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe

Author: Tupailo S.

Source: Annals of Pure and Applied Logic, Volume 120, Number 1, 15 April 2003 , pp. 165-196(32)

Publisher: Elsevier

Complete controllability of finite-level quantum systems

Authors: Fu H.; Schirmer S.G.; Solomon A.I.

Source: Journal of Physics A: Mathematical and General, Volume 34, Number 8, 2001 , pp. 1679-1690(12)

Publisher: Institute of Physics Publishing

On minimal fixed point numbers of relative maps^*

Author: Zhao X.

Source: Topology and its Applications, Volume 112, Number 1, 16 May 2001 , pp. 41-70(30)

Publisher: Elsevier