Author： Riegler Alexander
Publisher： Emerald Group Publishing Ltd
ISSN： 0368-492X
Source： Kybernetes: The International Journal of Systems & Cybernetics, Vol.34, Iss.1-2, 2005-01, pp. : 89-104
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Constructive Algebraic Hierarchy in Coq
By Geuvers H. Pollack R. Wiedijk F. Zwanenburg J.
Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. :
Access to resources
Recommend
Kernels of seminorms in constructive analysis
Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. :
A constructive model for the development of joint attention
By Nagai Yukie Hosoda Koh Morita Akio Asada Minoru
Connection Science, Vol. 15, Iss. 4, 2003-12 ,pp. :
Constructive metrisability in point-free topology
By Curi G.
Theoretical Computer Science, Vol. 305, Iss. 1, 2003-08 ,pp. :