Interval computation as deduction in chip (Q5289310)

From MaRDI portal
scientific article; zbMATH DE number 279346
Language Label Description Also known as
English
Interval computation as deduction in chip
scientific article; zbMATH DE number 279346

    Statements

    Interval computation as deduction in chip (English)
    0 references
    23 August 1993
    0 references
    constraint propagation
    0 references
    logic programming
    0 references
    floating-point arithmetic
    0 references
    CHIP programming language
    0 references
    interval arithmetic
    0 references
    0 references
    0 references

    Identifiers