diff options
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} |