acharacterization.tex

% ----------------------------------------------------------------------
\lecture{Axiomatic characterization}{acharacterization}
% ----------------------------------------------------------------------
\part{Axiomatic characterization}
% ----------------------------------------------------------------------
\input{axiomatic-characterization/adefinitions}
% ----------------------------------------------------------------------
\section{Completion}
% ------------------------------
\input{axiomatic-characterization/completion}
% ----------------------------------------------------------------------
\section{Tightness}
% ------------------------------
\input{axiomatic-characterization/tightness}
% ----------------------------------------------------------------------
\section{Loops and Loop Formulas}
% ------------------------------
\input{axiomatic-characterization/loops}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{axiomatic-characterization/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: