Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
LP/ | 2009-07-08 00:57 | - | ||
ilpnet.bib.gz | 2005-04-17 00:00 | 167K | ||
log.prog.85.bib.gz | 1998-02-12 00:00 | 72K | ||
Constr.logic.prog.bib.gz | 1998-12-04 00:00 | 67K | ||
lp.confs.bib.gz | 1997-08-26 00:00 | 60K | ||
prolog.1.bib.gz | 1997-08-26 00:00 | 48K | ||
abstract.interpretation.bib.gz | 2001-07-06 00:00 | 46K | ||
constr.logic.bib.gz | 1997-08-26 00:00 | 29K | ||
Logic.Prog.bib.gz | 1997-08-26 00:00 | 21K | ||
prolog.bib.gz | 1997-08-26 00:00 | 13K | ||
jlp.bib.gz | 1997-08-26 00:00 | 13K | ||
ILPBook.bib.gz | 1997-08-26 00:00 | 12K | ||
JLOGICPROG.bib.gz | 1997-08-26 00:00 | 9.5K | ||
abstract.interpretation.html | 2008-04-17 00:00 | 7.1K | ||
Constr.logic.prog.html | 2008-04-17 00:00 | 6.5K | ||
lp.confs.html | 2008-04-17 00:00 | 5.7K | ||
index.html | 2008-07-25 00:00 | 5.6K | ||
Clip_Group.general.html | 2008-04-17 00:00 | 5.5K | ||
ilpnet.html | 2008-04-17 00:00 | 5.3K | ||
Logic.Prog.html | 2008-04-17 00:00 | 5.0K | ||
Clip_Group.html | 2008-04-17 00:00 | 5.0K | ||
Contrib.html | 2008-07-25 00:00 | 5.0K | ||
ILPBook.html | 2008-04-17 00:00 | 4.9K | ||
prolog.html | 2008-04-17 00:00 | 4.9K | ||
constr.logic.html | 2008-04-17 00:00 | 4.9K | ||
prolog.1.html | 2008-04-17 00:00 | 4.9K | ||
TAPD.html | 2008-04-17 00:00 | 4.9K | ||
log.prog.85.html | 2008-04-17 00:00 | 4.8K | ||
jlp.html | 2008-04-17 00:00 | 4.6K | ||
JLOGICPROG.html | 2008-04-17 00:00 | 4.6K | ||
Contrib.bib.gz | 2008-07-25 00:00 | 3.8K | ||
others.html | 2007-01-28 00:00 | 2.7K | ||
abstract.interpretation.dsc | 2008-04-17 00:00 | 2.3K | ||
Clip_Group.general.years.stats.png | 2008-04-17 00:00 | 2.2K | ||
jlp.years.stats.png | 2008-04-17 00:00 | 2.2K | ||
Logic.Prog.years.stats.png | 2008-04-17 00:00 | 2.2K | ||
Constr.logic.prog.years.stats.png | 2008-04-17 00:00 | 2.1K | ||
Contrib.years.stats.png | 2008-07-25 00:00 | 2.1K | ||
prolog.1.years.stats.png | 2008-04-17 00:00 | 2.1K | ||
abstract.interpretation.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
Clip_Group.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
ILPBook.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
constr.logic.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
ilpnet.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
log.prog.85.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
TAPD.years.stats.png | 2008-04-17 00:00 | 2.0K | ||
Clip_Group.general.years.stats.svgz | 2008-04-17 00:00 | 2.0K | ||
prolog.years.stats.png | 2008-04-17 00:00 | 1.9K | ||
JLOGICPROG.years.stats.png | 2008-04-17 00:00 | 1.9K | ||
lp.confs.years.stats.png | 2008-04-17 00:00 | 1.9K | ||
prolog.1.years.stats.svgz | 2008-04-17 00:00 | 1.7K | ||
Logic.Prog.years.stats.svgz | 2008-04-17 00:00 | 1.7K | ||
Constr.logic.prog.years.stats.svgz | 2008-04-17 00:00 | 1.6K | ||
constr.logic.years.stats.svgz | 2008-04-17 00:00 | 1.5K | ||
ILPBook.years.stats.svgz | 2008-04-17 00:00 | 1.5K | ||
ilpnet.years.stats.svgz | 2008-04-17 00:00 | 1.4K | ||
TAPD.bib.gz | 1998-06-05 00:00 | 1.4K | ||
abstract.interpretation.years.stats.svgz | 2008-04-17 00:00 | 1.4K | ||
Clip_Group.years.stats.svgz | 2008-04-17 00:00 | 1.3K | ||
prolog.years.stats.svgz | 2008-04-17 00:00 | 1.3K | ||
jlp.years.stats.svgz | 2008-04-17 00:00 | 1.3K | ||
Contrib.years.stats.svgz | 2008-07-25 00:00 | 1.2K | ||
Constr.logic.prog.dsc | 2008-04-17 00:00 | 1.2K | ||
JLOGICPROG.years.stats.svgz | 2008-04-17 00:00 | 1.2K | ||
TAPD.years.stats.svgz | 2008-04-17 00:00 | 1.2K | ||
lp.confs.years.stats.svgz | 2008-04-17 00:00 | 1.2K | ||
log.prog.85.years.stats.svgz | 2008-04-17 00:00 | 1.2K | ||
lp.confs.dsc | 2008-04-17 00:00 | 1.2K | ||
Logic.Prog.dsc | 2008-04-17 00:00 | 514 | ||
Contrib.dsc | 2008-07-25 00:00 | 514 | ||
ILPBook.dsc | 2008-04-17 00:00 | 490 | ||
TAPD.dsc | 2008-04-17 00:00 | 487 | ||
ilpnet.dsc | 2008-04-17 00:00 | 361 | ||
log.prog.85.dsc | 2008-04-17 00:00 | 319 | ||
prolog.1.dsc | 2008-04-17 00:00 | 315 | ||
jlp.dsc | 2008-04-17 00:00 | 235 | ||
constr.logic.dsc | 2008-04-17 00:00 | 219 | ||
prolog.dsc | 2008-04-17 00:00 | 204 | ||
JLOGICPROG.dsc | 2008-04-17 00:00 | 183 |