Modular Structures as Dependent Types in Isabelle.

Florian Kammüller

Published in: TYPES (1998)

Keyphrases

theorem prover
real time
neural network
information retrieval
decision making
three dimensional
database systems
video sequences