diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-11-27 14:11:18 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-11-27 14:11:18 +1100 |
| commit | c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 (patch) | |
| tree | c74fbf32c3b9740d27c26751588949e06d96cc15 /tex/thesis/contribution | |
| parent | ec585a127f8f673be9e8a09ee394571b232b1b8d (diff) | |
A bunch more thesis stuff.
Diffstat (limited to 'tex/thesis/contribution')
| -rw-r--r-- | tex/thesis/contribution/contribution.tex | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex index 9e90749..c4a0700 100644 --- a/tex/thesis/contribution/contribution.tex +++ b/tex/thesis/contribution/contribution.tex @@ -693,11 +693,6 @@ This algorithm is presented in three parts. Adapted W-DFS algorithm presented in Section \ref{sec:adapted-wdfs}, with some modifications to allow for communication with the fixpoint portion of the algorithm. - -\item - Section \ref{sec:ldsi:correctness} argues the correctness of this - approach for finding the least fixpoints of monotonic, expansive - equation systems involving $\max$-expressions. \end{itemize} \subsection{Top level} \label{sec:ldsi:top-level} |