Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle.

Jeremy E. Dawson Rajeev Goré

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

real time
theorem prover
data hiding
multi touch
data sets
artificial intelligence
digital images
signal processing
vector space
evaluation methods
probabilistic logic
graphical display