From 1e907d883191571b5c374fd1c3b2f6c1fe11da83 Mon Sep 17 00:00:00 2001 From: "Zancanaro; Carlo" Date: Thu, 8 Nov 2012 19:37:59 +1100 Subject: A few fixes to the MCF solver, and equation stuff General work on the equation systems. Trying to get them to generate correctly with the MCF stuff. It's harder than it seems! --- tex/thesis/references.bib | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'tex/thesis') diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib index a7929fe..a68e126 100644 --- a/tex/thesis/references.bib +++ b/tex/thesis/references.bib @@ -141,4 +141,12 @@ url = {http://www2.in.tum.de/~seidl/Courses/WS2011/Optimierung/all2011.pdf}, urldate = {2012-11-04}, year = {2011} -} \ No newline at end of file +} +@article{Rice, + author = {H. Rice}, + title = {Classes of Recursively Enumerable Sets and their + Decision problems}, + year = {1953}, + journal = {Transactions of the American Mathematical Society}, + volume = {83} +} -- cgit v1.2.3