Some Remarks on the Test Complexity of Iterative Logic Arrays.

Bernd Becker Joachim Hartmann

Published in: MFCS (1992)

Keyphrases

worst case
logic programming
data sets
statistical significance
modal logic
computational cost
test cases
epistemic logic
predicate logic
classical logic
space complexity
np hard
lower bound
computational complexity
case study
information systems
databases