Author: Bjørner D.
Publisher: Springer Publishing Company
ISSN: 1060-0396
Source: Cybernetics and Systems Analysis, Vol.47, Iss.2, 2011-03, pp. : 260-276
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
Topology, domain theory and theoretical computer science
By Mislove M.W.
Topology and its Applications, Vol. 89, Iss. 1, 1998-11 ,pp. :
Innovative algorithms in science and engineering
International Journal of Computer Mathematics, Vol. 85, Iss. 10, 2008-10 ,pp. :
The Conference “Intelligent Systems and Computer Science”
Journal of Mathematical Sciences, Vol. 168, Iss. 1, 2010-07 ,pp. :