NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]LP/2009-07-08 00:57 -  
[HTML]Clip_Group.general.html2008-04-17 00:00 5.5K 
[IMG]Clip_Group.general.years.stats.png2008-04-17 00:00 2.2K 
[IMG]Clip_Group.general.years.stats.svgz2008-04-17 00:00 2.0K 
[HTML]Clip_Group.html2008-04-17 00:00 5.0K 
[IMG]Clip_Group.years.stats.png2008-04-17 00:00 2.0K 
[IMG]Clip_Group.years.stats.svgz2008-04-17 00:00 1.3K 
[GZ]Constr.logic.prog.bib.gz1998-12-04 00:00 67K 
[TXT]Constr.logic.prog.dsc2008-04-17 00:00 1.2K 
[HTML]Constr.logic.prog.html2008-04-17 00:00 6.5K 
[IMG]Constr.logic.prog.years.stats.png2008-04-17 00:00 2.1K 
[IMG]Constr.logic.prog.years.stats.svgz2008-04-17 00:00 1.6K 
[GZ]Contrib.bib.gz2008-07-25 00:00 3.8K 
[TXT]Contrib.dsc2008-07-25 00:00 514  
[HTML]Contrib.html2008-07-25 00:00 5.0K 
[IMG]Contrib.years.stats.png2008-07-25 00:00 2.1K 
[IMG]Contrib.years.stats.svgz2008-07-25 00:00 1.2K 
[GZ]ILPBook.bib.gz1997-08-26 00:00 12K 
[TXT]ILPBook.dsc2008-04-17 00:00 490  
[HTML]ILPBook.html2008-04-17 00:00 4.9K 
[IMG]ILPBook.years.stats.png2008-04-17 00:00 2.0K 
[IMG]ILPBook.years.stats.svgz2008-04-17 00:00 1.5K 
[GZ]JLOGICPROG.bib.gz1997-08-26 00:00 9.5K 
[TXT]JLOGICPROG.dsc2008-04-17 00:00 183  
[HTML]JLOGICPROG.html2008-04-17 00:00 4.6K 
[IMG]JLOGICPROG.years.stats.png2008-04-17 00:00 1.9K 
[IMG]JLOGICPROG.years.stats.svgz2008-04-17 00:00 1.2K 
[GZ]Logic.Prog.bib.gz1997-08-26 00:00 21K 
[TXT]Logic.Prog.dsc2008-04-17 00:00 514  
[HTML]Logic.Prog.html2008-04-17 00:00 5.0K 
[IMG]Logic.Prog.years.stats.png2008-04-17 00:00 2.2K 
[IMG]Logic.Prog.years.stats.svgz2008-04-17 00:00 1.7K 
[GZ]TAPD.bib.gz1998-06-05 00:00 1.4K 
[TXT]TAPD.dsc2008-04-17 00:00 487  
[HTML]TAPD.html2008-04-17 00:00 4.9K 
[IMG]TAPD.years.stats.png2008-04-17 00:00 2.0K 
[IMG]TAPD.years.stats.svgz2008-04-17 00:00 1.2K 
[GZ]abstract.interpretation.bib.gz2001-07-06 00:00 46K 
[TXT]abstract.interpretation.dsc2008-04-17 00:00 2.3K 
[HTML]abstract.interpretation.html2008-04-17 00:00 7.1K 
[IMG]abstract.interpretation.years.stats.png2008-04-17 00:00 2.0K 
[IMG]abstract.interpretation.years.stats.svgz2008-04-17 00:00 1.4K 
[GZ]constr.logic.bib.gz1997-08-26 00:00 29K 
[TXT]constr.logic.dsc2008-04-17 00:00 219  
[HTML]constr.logic.html2008-04-17 00:00 4.9K 
[IMG]constr.logic.years.stats.png2008-04-17 00:00 2.0K 
[IMG]constr.logic.years.stats.svgz2008-04-17 00:00 1.5K 
[GZ]ilpnet.bib.gz2005-04-17 00:00 167K 
[TXT]ilpnet.dsc2008-04-17 00:00 361  
[HTML]ilpnet.html2008-04-17 00:00 5.3K 
[IMG]ilpnet.years.stats.png2008-04-17 00:00 2.0K 
[IMG]ilpnet.years.stats.svgz2008-04-17 00:00 1.4K 
[HTML]index.html2008-07-25 00:00 5.6K 
[GZ]jlp.bib.gz1997-08-26 00:00 13K 
[TXT]jlp.dsc2008-04-17 00:00 235  
[HTML]jlp.html2008-04-17 00:00 4.6K 
[IMG]jlp.years.stats.png2008-04-17 00:00 2.2K 
[IMG]jlp.years.stats.svgz2008-04-17 00:00 1.3K 
[GZ]log.prog.85.bib.gz1998-02-12 00:00 72K 
[TXT]log.prog.85.dsc2008-04-17 00:00 319  
[HTML]log.prog.85.html2008-04-17 00:00 4.8K 
[IMG]log.prog.85.years.stats.png2008-04-17 00:00 2.0K 
[IMG]log.prog.85.years.stats.svgz2008-04-17 00:00 1.2K 
[GZ]lp.confs.bib.gz1997-08-26 00:00 60K 
[TXT]lp.confs.dsc2008-04-17 00:00 1.2K 
[HTML]lp.confs.html2008-04-17 00:00 5.7K 
[IMG]lp.confs.years.stats.png2008-04-17 00:00 1.9K 
[IMG]lp.confs.years.stats.svgz2008-04-17 00:00 1.2K 
[HTML]others.html2007-01-28 00:00 2.7K 
[GZ]prolog.1.bib.gz1997-08-26 00:00 48K 
[TXT]prolog.1.dsc2008-04-17 00:00 315  
[HTML]prolog.1.html2008-04-17 00:00 4.9K 
[IMG]prolog.1.years.stats.png2008-04-17 00:00 2.1K 
[IMG]prolog.1.years.stats.svgz2008-04-17 00:00 1.7K 
[GZ]prolog.bib.gz1997-08-26 00:00 13K 
[TXT]prolog.dsc2008-04-17 00:00 204  
[HTML]prolog.html2008-04-17 00:00 4.9K 
[IMG]prolog.years.stats.png2008-04-17 00:00 1.9K 
[IMG]prolog.years.stats.svgz2008-04-17 00:00 1.3K