Add more text

[talk/coalgebraic-mu-calculus-cool-2.git] / chapters / early.tex

diff --git a/chapters/early.tex b/chapters/early.tex
new file mode 100644 (file)
index 0000000..d557390
--- /dev/null
+++ b/chapters/early.tex
@@ -0,0 +1,22 @@
+\section{``Early'' formulas}
+\subsection*{Dummy}
+
+\begin{frame}
+  \begin{itemize}
+  \item Existing benchmark formulas either require exponential model
+    or have small unfolding
+  \item \emph{early} class of formulas have exponential unfolding but
+    exponetial subgraphs can be dealt with fast
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  TODO construction
+\end{frame}
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "../vortrag"
+%%% TeX-engine: luatex
+%%% TeX-PDF-mode: t
+%%% End: