📖
A proposal for the C++ standard : Bool_set, multi-valued logic
Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann

A proposal for the C++ standard : Bool_set, multi-valued logic

Science & Mathematics Published 2006 Verification Pending

Overview & Synopsis

We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators. It also has many other potential applications.

Indexed from repository: HAL Open Science (hal.science)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title A proposal for the C++ standard : Bool_set, multi-valued logic
Author / Organization Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann
Subject & Discipline Multidisciplinary Academic Open Research
Categories Science & Mathematics
Publication Year 2006
License / Rights Open Access / Creative Commons
Resource Verification Listed PDF (Verification Pending)
Original Host Website HAL Open Science (hal.science)
File Format application/pdf (Portable Document Format)
Language EN
Catalog ID DOC-51719
Original Source Link Visit Source Page on hal.science »