![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Li Sanjiang
Publisher: Springer Publishing Company
ISSN: 1383-7133
Source: Constraints, Vol.11, Iss.1, 2006-01, pp. : 31-51
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A concrete realization of the Hoare powerdomain
By Hart James Tsinakis Constantine
Soft Computing, Vol. 11, Iss. 11, 2007-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Consistency of the Adiabatic Theorem
By Sarandy M. Wu L.-A. Lidar D.
Quantum Information Processing, Vol. 3, Iss. 6, 2004-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Chen Hubie Dalmau Victor Gruien Berit
Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Color Computation: Consistency or Accuracy?
Color and Imaging Conference, Vol. 1997, Iss. 1, 1997-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Local and global relational consistency
Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. :