X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=chapters%2Fearly.tex;fp=chapters%2Fearly.tex;h=d55739021abf245b704a49f85044c99024f97e69;hp=0000000000000000000000000000000000000000;hb=edc63ce858f06a6b08536f876c7328820edd92a8;hpb=1d48022e102d8178ceed440a34825e110c46f4e0

diff --git a/chapters/early.tex b/chapters/early.tex
new file mode 100644
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: