Author： Vorobyov S.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.175, Iss.2, 2002-06, pp. : 182-213
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
Access to resources
Recommend
The Undecidability of Second Order Multiplicative Linear Logic
Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. :
Multidimensional Inverse Scattering for First‐Order Systems
STUDIES IN APPLIED MATHEMATICS, Vol. 71, Iss. 3, 1984-12 ,pp. :
A Theory of Primitive Objects: Untyped and First-Order Systems
Information and Computation, Vol. 125, Iss. 2, 1996-03 ,pp. :