Author： Middelburg C.A.
Publisher： Elsevier
ISSN： 1567-8326
Source： Journal of Logic and Algebraic Programming, Vol.55, Iss.1, 2003-03, pp. : 1-19
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
A syntactical proof of the operational equivalence of two -terms
Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. :
Access to resources
Recommend
By Jamisola Rodrigo S. Oetomo Denny N. Ang Marcelo H. Khatib Oussama Lim Tao Ming Lim Ser Yong
Advanced Robotics, Vol. 19, Iss. 5, 2005-06 ,pp. :
By Coffey Dan
International Journal of Automotive Technology and Management, Vol. 13, Iss. 2, 2013-03 ,pp. :
Machine Learning, Vol. 30, Iss. 2-3, 1998-02 ,pp. :