Notational definition-a formal account

Timothy Griffin

Published in: LICS (1988)

Keyphrases

operational semantics
model theoretic
computer vision
formal methods
learning algorithm
formal specification
real time
databases
real world
machine learning
database systems