Semantical Constructions for Categories of Behavioural Specifications.

Fernando Orejas Pilar Nivela Hartmut Ehrig

Published in: Categorial Methods in Computer Science (1988)

Keyphrases

neural network
formal specification
data mining
genetic algorithm
image sequences
logic programming
object categories
classical logic
reactive systems
concurrent systems
broad categories