High-Level-Replacement Systems for Equational Algebraic Specifications.

Hartmut Ehrig Francesco Parisi-Presicce

Published in: ALP (1992)

Keyphrases

high level
low level
expert systems
building blocks
neural network
learning systems
finite state machines
information retrieval
decision trees
management system
higher order
computer systems
low level features
reactive systems