Exercises in Coalgebraic Specification.

Published in: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)

Keyphrases

ims qti
high level
formal methods
neural network
data sets
genetic algorithm
relational databases
general knowledge
learning guide
machine learning
information retrieval
search engine
formal specification
specification language
temporal ordering