next up previous contents
Next: Basic definitions Up: User's manual of the Previous: Projections   Contents

Lexicographic ordering


\begin{definition}[]~ \begin{center}% \afdmath{}\text{\rm lex}\hspace{0.2em} \te... ...erb{Verb}¶lex R1 R2 c1 c2¶\marginpar{\UseVerb{Verb}}\end{center}\end{definition}

SumsChristophe Raffalli, Paul RoziereEquipe de Logique, Université Chambéry, Paris VII


Christophe Raffalli 2005-03-02