Finitary consistency of a free arithmetic.

Ermanno Bencivenga

Published in: Notre Dame J. Formal Log. (1984)

Keyphrases

finite state
information systems
floating point
arithmetic operations
multiresolution
global consistency
consistency checking
path consistency
consistency constraints
logic programming
databases
database systems
three dimensional
case study
computer vision
artificial intelligence
genetic algorithm