Axiomatizing GSOS with termination.

Jos C. M. Baeten Erik P. de Vink

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

rewrite systems
term rewriting
active rules
object oriented
data sets
machine learning
information retrieval
artificial intelligence
data streams