Axiomatizing GSOS with Termination.

Jos C. M. Baeten Erik P. de Vink

Published in: STACS (2002)

Keyphrases

term rewriting
type checking
data sets
data types
rewrite systems
neural network
reinforcement learning
object recognition
relational databases
mobile robot
information retrieval systems