| 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 | ||