Author: Chari S. Rohatgi P.
Publisher: Academic Press
ISSN: 0022-0000
Source: Journal of Computer and System Sciences, Vol.53, Iss.3, 1996-12, pp. : 545-555
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
By Girard J.-Y.
Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. :
Completeness of Park induction
By Esik Z.
Theoretical Computer Science, Vol. 177, Iss. 1, 1997-04 ,pp. :
Algebraic proofs of consistency and completeness
Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. :