Author： Hofmann M. Pierce B.C.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.172, Iss.1, 2002-01, pp. : 29-62
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
Type Inference for Pure Type Systems
By Severi P.
Information and Computation, Vol. 143, Iss. 1, 1998-05 ,pp. :
Access to resources
Recommend
Type I and Type II fuzzy system modeling
By Turksen I.B.
Fuzzy Sets and Systems, Vol. 106, Iss. 1, 1999-08 ,pp. :
Petrov type of linearly perturbed type-D spacetimes
By Araneda Bernardo Dotti Gustavo
Classical and Quantum Gravity, Vol. 32, Iss. 19, 2015-10 ,pp. :
Dennis–Vaserstein type decompositions
Journal of Mathematical Sciences, Vol. 171, Iss. 3, 2010-12 ,pp. :
Linear spaces of kinematic type
By Krym V.
Journal of Mathematical Sciences, Vol. 100, Iss. 3, 2000-06 ,pp. :