Statistiques
| Révision :

root / CSL17 / tech-report / further.tex @ 251

Historique | Voir | Annoter | Télécharger (175 octet)

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}