Login / Signup
The Topology of Program Termination
Robert Cartwright
Alan J. Demers
Published in:
LICS (1988)
Keyphrases
</>
term rewriting
computer vision
computer programs
rewrite systems
web services
multiresolution
static analysis
programming environment
small world
program execution