The Consistency of the Axiom of Universality for the Ordering of Cardinalities.

Marco Forti Furio Honsell

Published in: J. Symb. Log. (1985)

Keyphrases

cellular automata
modal logic
maintaining consistency
total ordering
databases
decision making
consistency checking
bayesian networks
search space
partial order
global constraints
constraint networks
space filling curves