Author： Hamilton G.W.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.146, Iss.2, 1998-11, pp. : 100-137
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
Languages Defined with Modular Counting Quantifiers
By Straubing H.
Information and Computation, Vol. 166, Iss. 2, 2001-05 ,pp. :
Access to resources
Recommend
Proving Congruence of Bisimulation in Functional Programming Languages
By Howe D.J.
Information and Computation, Vol. 124, Iss. 2, 1996-02 ,pp. :
By Galperin Gregory Ronsse Gregory
Mathematics Magazine, Vol. 81, Iss. 2, 2008-04 ,pp. :
Elementary Functional Analysis
American Mathematical Monthly, Vol. 117, Iss. 5, 2010-05 ,pp. :