Lightweight hybrid tableaux.

Guillaume Hoffmann

Published in: J. Appl. Log. (2010)

Keyphrases

lightweight
modal logic
communication infrastructure
intrusion detection
development environments
wireless sensor networks
functional dependencies
theorem proving
rfid tags
handheld devices