Pushouts of Order-Sorted Algebraic Specifications.

Anne Elisabeth Haxthausen Friederike Nickl

Published in: AMAST (1996)

Keyphrases

order sorted
predicate logic
higher order
algebraic expressions
neural network
linear algebra
data sets
information retrieval
genetic algorithm
knowledge discovery
temporal logic
functional requirements