Author： Gallier J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.142, Iss.2, 1995-05, pp. : 299-368
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
A typed -calculus for proving-by-example and bottom-up generalization procedure
By Hagiya M.
Theoretical Computer Science, Vol. 137, Iss. 1, 1995-01 ,pp. :
Access to resources
Recommend
Proving possibility properties
By Lamport L.
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
Proving Strong Duality for Geometric Optimization Using a Conic Formulation
By Glineur F.
Annals of Operations Research, Vol. 105, Iss. 1-4, 2001-07 ,pp. :