Equational Specification of Abstract Types and Combinators.

Published in: CSL (1991)

Keyphrases

high level
theorem proving
search algorithm
state machines
artificial intelligence
video sequences
low level
higher level
knowledge level
data mining
image processing
formal specification
state machine