A Framework for Operational Equational Specifications with Pre-defined Structures.

Jürgen Avenhaus Klaus Becker

Published in: J. Symb. Comput. (1999)

Keyphrases

main contribution
lightweight
introduce a general framework
database
artificial intelligence
search engine
website
high level
key features