Commit acf43706 authored by Michael Kohlhase's avatar Michael Kohlhase

replaced by smglom/complexity

parent 378b18f1
\begin{module}[id=complexity-classes]
\symdef{PSPACE}{\operatorname{PSPACE}}
\symdef{EXPTIME}{\operatorname{EXPTIME}}
\end{module}
%%% Local Variables:
%%% mode: LaTeX
%%% TeX-master: t
%%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment