A Result of Relative Consistency About the Predicate WO(delta, kappa).

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

Keyphrases

information systems
first order logic
image processing
website
high level
video sequences
expert systems
relational databases
user interface
data model
hidden markov models
temporal consistency