![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bruynooghe98polyvariant.pdf | 21-Feb-2009 15:57 | 249K | |
| bruynooghe98polyvariant.ps.gz | 21-Feb-2009 15:57 | 56K | |
| cl2000.pdf | 21-Feb-2009 15:57 | 235K | |
| cl2000.ps.gz | 21-Feb-2009 15:57 | 63K | |
| cw221.pdf | 21-Feb-2009 15:57 | 652K | |
| cw221.ps.gz | 21-Feb-2009 15:57 | 97K | |
| cw242.pdf | 21-Feb-2009 15:57 | 276K | |
| cw242.ps.gz | 21-Feb-2009 15:57 | 78K | |
| cw259.pdf | 21-Feb-2009 15:57 | 342K | |
| cw259.ps.gz | 21-Feb-2009 15:57 | 98K | |
| decorte97termination.pdf | 21-Feb-2009 15:57 | 236K | |
| decorte97termination.ps.gz | 21-Feb-2009 15:57 | 58K | |
| deschreye94conjunctive.pdf | 21-Feb-2009 15:57 | 571K | |
| deschreye94conjunctive.ps.gz | 21-Feb-2009 15:57 | 214K | |
| dsse-tr-9903.pdf | 21-Feb-2009 15:57 | 275K | |
| dsse-tr-9903.ps.gz | 21-Feb-2009 15:57 | 107K | |
| dsse-tr-9906.pdf | 21-Feb-2009 15:57 | 441K | |
| dsse-tr-9906.ps.gz | 21-Feb-2009 15:57 | 184K | |
| ecce.ilps97.pdf | 21-Feb-2009 15:57 | 306K | |
| ecce.ilps97.ps.gz | 21-Feb-2009 15:57 | 114K | |
| jlpfold.pdf | 21-Feb-2009 15:57 | 479K | |
| jlpfold.ps.gz | 21-Feb-2009 15:57 | 146K | |
| leuschel02logic.pdf | 21-Feb-2009 15:57 | 570K | |
| leuschel02logic.ps.gz | 21-Feb-2009 15:57 | 193K | |
| leuschel94almost.pdf | 21-Feb-2009 15:57 | 287K | |
| leuschel94almost.ps.gz | 21-Feb-2009 15:57 | 71K | |
| leuschel94partial.pdf | 21-Feb-2009 15:57 | 242K | |
| leuschel94partial.ps.gz | 21-Feb-2009 15:57 | 58K | |
| leuschel95ecological.pdf | 21-Feb-2009 15:57 | 250K | |
| leuschel95ecological.ps.gz | 21-Feb-2009 15:57 | 59K | |
| leuschel95generating.pdf | 21-Feb-2009 15:57 | 263K | |
| leuschel95generating.ps.gz | 21-Feb-2009 15:57 | 62K | |
| leuschel95partial.pdf | 21-Feb-2009 15:57 | 365K | |
| leuschel95partial.ps.gz | 21-Feb-2009 15:57 | 84K | |
| leuschel95towards.pdf | 21-Feb-2009 15:57 | 1.2M | |
| leuschel95towards.ps.gz | 21-Feb-2009 15:57 | 3.8M | |
| leuschel96logic.pdf | 21-Feb-2009 15:57 | 331K | |
| leuschel96logic.ps.gz | 21-Feb-2009 15:57 | 78K | |
| leuschel96redundant.pdf | 21-Feb-2009 15:57 | 264K | |
| leuschel96redundant.ps.gz | 21-Feb-2009 15:57 | 65K | |
| leuschel97constrained-wlp97.pdf | 21-Feb-2009 15:57 | 250K | |
| leuschel97constrained-wlp97.ps.gz | 21-Feb-2009 15:57 | 57K | |
| leuschel97constrained.pdf | 21-Feb-2009 15:57 | 660K | |
| leuschel97constrained.ps.gz | 21-Feb-2009 15:57 | 159K | |
| leuschel97controlling.pdf | 21-Feb-2009 15:57 | 812K | |
| leuschel97controlling.ps.gz | 21-Feb-2009 15:57 | 183K | |
| leuschel97extending.pdf | 21-Feb-2009 15:57 | 288K | |
| leuschel97extending.ps.gz | 21-Feb-2009 15:57 | 71K | |
| leuschel97preserving.pdf | 21-Feb-2009 15:57 | 242K | |
| leuschel97preserving.ps.gz | 21-Feb-2009 15:57 | 63K | |
| leuschel98controlling.pdf | 21-Feb-2009 15:57 | 735K | |
| leuschel98controlling.ps.gz | 21-Feb-2009 15:57 | 482K | |
| leuschel98creating-tr.pdf | 21-Feb-2009 15:57 | 669K | |
| leuschel98creating-tr.ps.gz | 21-Feb-2009 15:57 | 132K | |
| leuschel98creating.pdf | 21-Feb-2009 15:57 | 558K | |
| leuschel98creating.ps.gz | 21-Feb-2009 15:57 | 190K | |
| leuschel98some.pdf | 21-Feb-2009 15:57 | 135K | |
| leuschel98some.ps.gz | 21-Feb-2009 15:57 | 46K | |
| leuschel99efficient.pdf | 21-Feb-2009 15:57 | 752K | |
| leuschel99efficient.ps.gz | 21-Feb-2009 15:57 | 131K | |
| lpar2000.pdf | 21-Feb-2009 15:57 | 337K | |
| lpar2000.ps.gz | 21-Feb-2009 15:57 | 126K | |
| offline-specialisation-in-prolog.pdf | 21-Feb-2009 15:57 | 400K | |
| offline-specialisation-in-prolog.ps.gz | 21-Feb-2009 15:57 | 362K | |
| sagonas98extending.pdf | 21-Feb-2009 15:57 | 135K | |
| sagonas98extending.ps.gz | 21-Feb-2009 15:57 | 107K | |
| the-ecce-partial-deduction.pdf | 21-Feb-2009 15:57 | 269K | |
| the-ecce-partial-deduction.ps.gz | 21-Feb-2009 15:57 | 62K | |