Révision 168 CSL17/further.tex
| further.tex (revision 168) | ||
|---|---|---|
| 1 |
\section{Further results}
|
|
| 1 |
\section{Further results}
|
|
| 2 |
|
|
| 3 |
\subsection{Equational theories}
|
|
| 4 |
\todo{Mention PVBC}
|
|
| 5 |
|
|
| 6 |
\subsection{Modal and second order theories}
|
|
| 7 |
\todo{Mention links with ramification/sortedness}
|
|
Formats disponibles : Unified diff