![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AdamekHebertSousa2.pdf | 08-May-2007 23:33 | 294K | |
| adamek-rosicky-2007AU.pdf | 08-May-2007 23:33 | 585K | |
| adamekHebertSousa.pdf | 08-May-2007 23:32 | 151K | |
| diaconescu95completeness.pdf | 08-May-2007 23:33 | 366K | |
| rosu00equational.pdf | 08-May-2007 23:33 | 283K | |
| rosu01complete.pdf | 08-May-2007 23:34 | 230K | |
| rosu98birkhofflike.pdf | 08-May-2007 23:34 | 300K | |
| vickers93geometric.pdf | 08-May-2007 23:34 | 246K | |
| weak-inclusion-systems-part.pdf | 08-May-2007 23:34 | 270K | |