SNARKS: A Browser for Tableaux Derivations.

Mathias Kettner Norbert Eisinger

Published in: LPE (1997)

Keyphrases

modal logic
inference rules
web browser
web applications
functional dependencies
user interface
decision procedures
web pages
data sets
case study
mobile devices
email
sequent calculi
special case
relational databases
social networks
search engine