Abstract Computability, Algebraic Specification and Initiality

John V. Tucker Jeffery I. Zucker

Published in: CoRR (2001)

Keyphrases

state machines
high level
specification language
higher level
state machine
algebraic structure
three dimensional
low level
higher order
knowledge level
temporal ordering
data sets
formal specification
multiscale
decision making
computer vision
artificial intelligence
learning algorithm