(1 - 20 von 20
)
TPHOLs 2007: Accepted Papers
es.cs.uni-kl.de
Lukas Bulwahn, Alexander Krauss and Tobias Nipkow. We present a simple method to formally prove termination of recursive functions by searching for lexicographic
sortiert nach Relevanz / Datum