chiark / gitweb /
strategy: ranking: proof of termination
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:49:10 +0000 (19:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:49:10 +0000 (19:49 +0100)
commitbe08dfe44764573fcf4d903dbe74576e3762ee04
treedacd88c18e27208fc55d6076619e8663ec01a90b
parent7e6fe6ed683ada1dd7c118556e22abc900801df5
strategy: ranking: proof of termination
strategy.tex