Strictness Logic and Polymorphic Invariance.

Published in: LFCS (1992)

Keyphrases

automated reasoning
modal logic
discriminative power
asynchronous circuits
predicate logic
multi valued
logic programming
proof theory
classical logic
invariant features
multi agent systems
bayesian networks
object oriented
probabilistic logic
set theory
social networks
databases
real time