Non-Equivalence of Categories for Equational Algebraic Specifications.

Hartmut Ehrig Francesco Parisi-Presicce

Published in: COMPASS/ADT (1991)

Keyphrases

theorem proving
delay insensitive
real time
high level
specification language
machine learning
equational theories
genetic algorithm
web services
programming language
logic programming
theorem prover
mathematical theory