Login / Signup
Feature Constraint Logic and Error Detection in ICALL Systems.
Veit Reuer
Kai-Uwe Kühnberger
Published in:
LACL (2005)
Keyphrases
</>
error detection
computer systems
logic programming
digital circuits
expert systems
distributed systems
modal logic
error correction
error control