A Note on Negative Tagging for Least Fixed-Point Formulae

E-ISSN： 1290-385x|33|4-5|383-392

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.33, Iss.4-5, 2010-03, pp. : 383-392

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

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. : 427-446

Edp Sciences

Access to resources Recommend Favorite

Feedback, trace and fixed-point semantics

By Katis P. Sabadini Nicoletta Walters Robert F.C.

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 181-194

Edp Sciences

Access to resources Recommend Favorite

Fixed-point DSP implementation of active noise control systems

By Kuo Sen M. Nadeski Mark Horner Tom Chyan Jason Panahi Issa

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1994, Iss. 1, 1994-05 ,pp. : 337-342

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Investigation of self-validating thermocouples with integrated fixed-point units

By Edler F. Haupt S. Mokdad S.-A. Failleau G. Sadli M.

International Journal of Metrology and Quality Engineering, Vol. 6, Iss. 1, 2015-02 ,pp. : 103-103

Edp Sciences

Access to resources Recommend Favorite

Monotone (co)inductive types and positive fixed-point types

By Matthes Ralph

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 309-328

Edp Sciences

Access to resources Recommend Favorite