Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ALPUK91.bib.gz | 2004-12-14 00:00 | 1.1K | ||
CADE90.bib.gz | 2004-12-14 00:00 | 3.9K | ||
CADE92.bib.gz | 2004-12-14 00:00 | 4.7K | ||
CADE94.bib.gz | 2004-12-14 00:00 | 4.7K | ||
CTRS90.bib.gz | 2004-12-14 00:00 | 2.6K | ||
CTRS92.bib.gz | 2004-12-14 00:00 | 2.5K | ||
EAIA90.bib.gz | 2004-12-14 00:00 | 1.1K | ||
EPIA89.bib.gz | 2004-12-14 00:00 | 7.9K | ||
EPIA91.bib.gz | 2004-12-14 00:00 | 2.0K | ||
ICLP88.bib.gz | 2004-12-14 00:00 | 6.3K | ||
ICLP93.bib.gz | 2004-12-14 00:00 | 4.5K | ||
ILPS93.bib.gz | 2004-12-14 00:00 | 5.6K | ||
ILPS94.bib.gz | 2004-12-14 00:00 | 2.9K | ||
JAR91.bib.gz | 2004-12-14 00:00 | 2.5K | ||
JAR92.bib.gz | 2004-12-14 00:00 | 2.8K | ||
JAR93.bib.gz | 2004-12-14 00:00 | 2.7K | ||
JICSLP92.bib.gz | 2004-12-14 00:00 | 3.5K | ||
JSC91.bib.gz | 2004-12-14 00:00 | 4.1K | ||
JSC92.bib.gz | 2004-12-14 00:00 | 4.2K | ||
JSC93.bib.gz | 2004-12-14 00:00 | 4.9K | ||
JSC94.bib.gz | 2004-12-14 00:00 | 4.0K | ||
LP.dsc | 2008-04-17 00:00 | 2.1K | ||
LP.html | 2008-04-17 00:00 | 6.4K | ||
LP.years.stats.png | 2008-04-17 00:00 | 1.9K | ||
LP.years.stats.svgz | 2008-04-17 00:00 | 1.2K | ||
LP88.bib.gz | 2004-12-14 00:00 | 1.4K | ||
NACLP89.bib.gz | 2004-12-14 00:00 | 4.9K | ||
NACLP90.bib.gz | 2004-12-14 00:00 | 3.0K | ||
PEPM93.bib.gz | 2004-12-14 00:00 | 1.3K | ||
TACS91.bib.gz | 2004-12-14 00:00 | 14K | ||
TAPSOFT93.bib.gz | 2004-12-14 00:00 | 3.7K | ||
UNIF89.bib.gz | 2004-12-14 00:00 | 1.7K | ||
index.html | 2008-04-17 00:00 | 6.4K |