Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS.

Published in: PSTV (1991)

Keyphrases

equivalence relation
real world
special case
black box
databases
real time
neural network
information retrieval
artificial intelligence
information systems
constraint propagation