Arctic Termination ...Below Zero.

Adam Koprowski Johannes Waldmann

Published in: RTA (2008)

Keyphrases

term rewriting
satellite data
rewrite systems
viewpoint
computational complexity
active rules
databases
real world
high level
data structure