Locales and Locale Expressions in Isabelle/Isar.

Clemens Ballarin

Published in: TYPES (2003)

Keyphrases

theorem prover
facial expressions
signal processing
mathematical expressions
natural language
neural network
moving target
rewrite rules
inverse synthetic aperture radar
web services
database systems
search algorithm
denoising
high resolution images