Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.

Wolfgang Gehrke

Published in: RTA (1995)

Keyphrases

application domains
optimization problems
mathematical programming
methods can be applied
database
np complete
real time
neural network
machine learning
lower bound
decision problems
benchmark problems
numerical data