Stop When You Are Almost-Full - Adventures in Constructive Termination.

Dimitrios Vytiniotis Thierry Coquand David Wahlstedt

Published in: ITP (2012)

Keyphrases

term rewriting
rewrite systems
term rewrite systems
databases
active rules
open shop scheduling
real world
artificial intelligence
data analysis
artificial neural networks
criminal justice