Author: Bamber D. Goodman I. R. Nguyen H. T.
Publisher: Springer Publishing Company
ISSN: 1432-7643
Source: Soft Computing, Vol.8, Iss.4, 2004-02, pp. : 247-255
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
Free objects and equational deduction for partial conditional specifications
Theoretical Computer Science, Vol. 152, Iss. 1, 1995-12 ,pp. :
Experiments in linear natural deduction
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :