Dynamic algebras: Examples, constructions, applications.

Vaughan R. Pratt

Published in: Stud Logica (1991)

Keyphrases

dynamic environments
dynamically changing
real time
data sets
special case
training examples