On the testability of iterative logic arrays.

Bernd Becker Ralf Hahn Joachim Hartmann Uwe Sparmann

Published in: Integr. (1995)

Keyphrases

classical logic
logic programming
modal logic
logical framework
databases
predicate logic
nonmonotonic logics
multi valued
data structure
automated reasoning
data model
computational properties
defeasible logic
real time
formal theory
focal plane
dynamic logic
proof theory
iterative optimization