Author: Edler F. Haupt S. Mokdad S.-A. Failleau G. Sadli M.
Publisher: Edp Sciences
E-ISSN: 2107-6847|6|1|103-103
ISSN: 2107-6839
Source: International Journal of Metrology and Quality Engineering, Vol.6, Iss.1, 2015-02, pp. : 103-103
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
On Distributive Fixed-Point Expressions
By Seidl Helmut Niwiński Damian
RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. :
A Note on Negative Tagging for Least Fixed-Point Formulae
RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. :
Monotone (co)inductive types and positive fixed-point types
RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. :