![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | APT-manual.pdf | 2025-04-20 08:40 | 200K | |
![[ ]](/icons/a.gif) | APT-manual.ps | 1997-09-15 14:19 | 2.3M | |
![[ ]](/icons/layout.gif) | APT-manual_bitmap.pdf | 2002-12-18 21:19 | 288K | |
![[ ]](/icons/layout.gif) | ActiveLogicDocuments-PrologBook.pdf | 2023-04-28 22:31 | 627K | |
![[ ]](/icons/layout.gif) | AlbertAAGP09.pdf | 2010-03-22 12:26 | 237K | |
![[ ]](/icons/layout.gif) | AlbertACGPZ08.pdf | 2008-05-27 12:46 | 220K | |
![[ ]](/icons/layout.gif) | AlbertAGGPRRZ09.pdf | 2012-02-22 17:37 | 618K | |
![[ ]](/icons/layout.gif) | AlbertAGHP09.pdf | 2010-03-22 12:29 | 290K | |
![[ ]](/icons/layout.gif) | AlbertAGP08.pdf | 2008-06-20 17:32 | 232K | |
![[ ]](/icons/layout.gif) | AlbertAGP08a.pdf | 2008-12-10 22:41 | 140K | |
![[ ]](/icons/layout.gif) | AlbertAGP08b.pdf | 2008-05-23 15:37 | 232K | |
![[ ]](/icons/layout.gif) | AlbertAGP09.pdf | 2009-09-17 18:29 | 251K | |
![[ ]](/icons/layout.gif) | AlbertAGP11a.pdf | 2011-05-27 09:35 | 866K | |
![[ ]](/icons/layout.gif) | AlbertAGPRZ08.pdf | 2008-12-05 15:47 | 296K | |
![[ ]](/icons/layout.gif) | AlbertAGPRZ08b.pdf | 2008-12-09 11:48 | 239K | |
![[ ]](/icons/layout.gif) | AlbertAGPZ08.pdf | 2008-05-23 16:14 | 233K | |
![[ ]](/icons/layout.gif) | AlbertAGPZ08b.pdf | 2008-05-27 13:09 | 137K | |
![[ ]](/icons/layout.gif) | AlbertAGPZ08c.pdf | 2008-08-02 11:23 | 263K | |
![[ ]](/icons/layout.gif) | AlbertAGPZ09.pdf | 2009-07-29 17:30 | 331K | |
![[ ]](/icons/layout.gif) | AlbertAGZ11-short.pdf | 2011-05-26 17:43 | 266K | |
![[ ]](/icons/layout.gif) | AlbertAPR10.pdf | 2010-05-06 13:12 | 284K | |
![[ ]](/icons/layout.gif) | AlbertBGHPR11.pdf | 2010-11-29 10:33 | 274K | |
![[ ]](/icons/layout.gif) | AlbertGG09.pdf | 2009-04-19 18:47 | 288K | |
![[ ]](/icons/layout.gif) | AlbertGGJST11.pdf | 2011-07-30 02:22 | 459K | |
![[ ]](/icons/layout.gif) | AssertionsAndOther-PrologBook.pdf | 2023-05-27 15:35 | 1.4M | |
![[ ]](/icons/layout.gif) | Backtracking.pdf | 2016-12-11 16:12 | 821K | |
![[DIR]](/icons/folder.gif) | EC-sCASP-ICLP2019/ | 2019-05-16 10:54 | - | |
![[DIR]](/icons/folder.gif) | EC-sCASP-TPLP2020/ | 2020-10-10 16:13 | - | |
![[ ]](/icons/layout.gif) | FSR2003-amos.pdf | 2003-12-11 10:50 | 405K | |
![[ ]](/icons/layout.gif) | GenaimK08.pdf | 2009-07-09 18:56 | 395K | |
![[ ]](/icons/layout.gif) | GenaimS08.pdf | 2008-07-29 16:03 | 222K | |
![[ ]](/icons/layout.gif) | GenaimZanardiniWST10.pdf | 2011-05-26 17:50 | 148K | |
![[ ]](/icons/layout.gif) | HB08chr.pdf | 2008-07-01 14:04 | 207K | |
![[ ]](/icons/layout.gif) | Haemmerle11clipA.pdf | 2011-03-29 16:36 | 443K | |
![[ ]](/icons/layout.gif) | Haemmerle11clipB.pdf | 2011-05-03 19:32 | 541K | |
![[ ]](/icons/layout.gif) | Haemmerle11tplpA.pdf | 2011-07-06 16:36 | 247K | |
![[ ]](/icons/layout.gif) | Haemmerle11tplpB.pdf | 2011-07-06 16:35 | 231K | |
![[ ]](/icons/layout.gif) | Haemmerle12chr.pdf | 2012-08-14 22:53 | 353K | |
![[ ]](/icons/layout.gif) | Haemmerle12tplp.pdf | 2012-07-15 23:46 | 428K | |
![[ ]](/icons/layout.gif) | Haemmerle14clip.pdf | 2014-08-12 14:57 | 274K | |
![[ ]](/icons/layout.gif) | Haemmerle14ppdp.pdf | 2014-08-12 14:54 | 301K | |
![[ ]](/icons/layout.gif) | HaemmerleGH11ppdp.pdf | 2011-08-13 16:54 | 375K | |
![[ ]](/icons/layout.gif) | Hampaper.pdf | 2016-12-11 16:12 | 791K | |
![[ ]](/icons/layout.gif) | ICLPWSanal.pdf | 2016-07-16 15:48 | 305K | |
![[ ]](/icons/layout.gif) | LPAR.pdf | 2012-04-02 09:39 | 1.0M | |
![[ ]](/icons/layout.gif) | LiHer85.pdf | 2016-12-11 16:13 | 768K | |
![[ ]](/icons/layout.gif) | Marron-sharing-paste08.pdf | 2008-11-12 04:33 | 375K | |
![[ ]](/icons/layout.gif) | Marron08-projectextend-cc.pdf | 2008-04-28 17:37 | 558K | |
![[ ]](/icons/layout.gif) | Melbourne.pdf | 2016-12-11 16:08 | 791K | |
![[ ]](/icons/layout.gif) | NMHLFM08.pdf | 2008-04-30 07:24 | 141K | |
![[ ]](/icons/layout.gif) | Prolog-FLI-survey-newsletter.pdf | 2002-12-18 21:19 | 101K | |
![[ ]](/icons/compressed.gif) | Prolog-FLI-survey.ps.gz | 2002-05-23 20:02 | 110K | |
![[ ]](/icons/hand.right.gif) | README | 2002-12-17 12:53 | 551 | |
![[ ]](/icons/layout.gif) | RamirezCP10.pdf | 2011-05-26 09:09 | 209K | |
![[ ]](/icons/layout.gif) | RamirezCP10a.pdf | 2011-05-26 09:09 | 212K | |
![[ ]](/icons/layout.gif) | RuleML11_slides.pdf | 2021-07-04 14:14 | 714K | |
![[ ]](/icons/layout.gif) | Swapping-tabling-chico-ICLP10.pdf | 2010-09-30 16:46 | 209K | |
![[ ]](/icons/layout.gif) | TeachingProlog-PrologBook.pdf | 2023-06-12 10:00 | 410K | |
![[ ]](/icons/layout.gif) | TeachingProlog-iclp-group-talk.pdf | 2023-12-13 13:56 | 453K | |
![[ ]](/icons/layout.gif) | TeachingProlog-iclp-talk.pdf | 2024-02-20 13:11 | 470K | |
![[ ]](/icons/layout.gif) | WST10.pdf | 2010-07-19 17:10 | 649K | |
![[ ]](/icons/a.gif) | WST10.ps | 2010-07-19 17:10 | 2.5K | |
![[ ]](/icons/layout.gif) | aadebug97-informal.pdf | 2025-04-20 08:40 | 238K | |
![[ ]](/icons/a.gif) | aadebug97-informal.ps | 1999-12-10 20:58 | 226K | |
![[ ]](/icons/layout.gif) | aadebug97-informal_bitmap.pdf | 2002-12-18 21:19 | 247K | |
![[ ]](/icons/layout.gif) | abs-exec-lopstr.pdf | 2025-04-20 08:40 | 254K | |
![[ ]](/icons/a.gif) | abs-exec-lopstr.ps | 1999-12-10 20:25 | 243K | |
![[ ]](/icons/layout.gif) | abs-exec-lopstr_bitmap.pdf | 2002-12-18 21:19 | 269K | |
![[ ]](/icons/layout.gif) | abs-int-naclp89.pdf | 2004-12-13 19:10 | 186K | |
![[ ]](/icons/layout.gif) | abstract-distances-2019-iclp-tc.pdf | 2019-09-30 00:29 | 121K | |
![[ ]](/icons/layout.gif) | abstract-distances-lopstr19-post.pdf | 2020-02-11 21:24 | 601K | |
![[ ]](/icons/layout.gif) | abstract-distances-lopstr19-pre.pdf | 2019-09-17 11:08 | 689K | |
![[ ]](/icons/layout.gif) | abstrim-tplp.pdf | 2024-08-21 17:23 | 1.2M | |
![[ ]](/icons/layout.gif) | acc-res-ppdp05-long.pdf | 2005-12-09 11:40 | 153K | |
![[ ]](/icons/layout.gif) | acc-res-ppdp05.pdf | 2005-12-09 11:25 | 153K | |
![[ ]](/icons/layout.gif) | agents-ciao-epia01.pdf | 2025-04-20 08:40 | 64K | |
![[ ]](/icons/a.gif) | agents-ciao-epia01.ps | 2002-04-23 14:56 | 50K | |
![[ ]](/icons/layout.gif) | agents-ciao-epia01_bitmap.pdf | 2002-12-18 21:19 | 66K | |
![[ ]](/icons/layout.gif) | aggregates-padl19.pdf | 2019-03-18 18:53 | 228K | |
![[ ]](/icons/layout.gif) | ai-jlp.pdf | 2004-12-13 19:19 | 265K | |
![[ ]](/icons/layout.gif) | ai-safety-journal.pdf | 2005-12-09 10:55 | 316K | |
![[ ]](/icons/layout.gif) | ai-safety-movelog05.pdf | 2005-12-09 10:32 | 134K | |
![[ ]](/icons/layout.gif) | ai-safety-ngc07.pdf | 2009-07-09 15:15 | 372K | |
![[ ]](/icons/layout.gif) | ai-safety-reduced-eaai05.pdf | 2007-01-19 16:09 | 227K | |
![[ ]](/icons/layout.gif) | ai-safety-reduced-iclp06.pdf | 2006-07-25 20:13 | 205K | |
![[ ]](/icons/layout.gif) | ai-safety-reduced-prole06.pdf | 2007-01-19 16:08 | 190K | |
![[ ]](/icons/layout.gif) | ai-safety-reduced-tplp.pdf | 2012-08-07 15:26 | 528K | |
![[ ]](/icons/layout.gif) | ai-safety-reduced.pdf | 2006-02-06 18:56 | 238K | |
![[ ]](/icons/layout.gif) | ai-safety-tr.pdf | 2005-12-09 10:58 | 205K | |
![[ ]](/icons/layout.gif) | ai-spec-defs-poster.pdf | 2005-12-09 11:06 | 50K | |
![[ ]](/icons/layout.gif) | ai-spec-defs-tr.pdf | 2005-12-09 11:06 | 222K | |
![[ ]](/icons/layout.gif) | ai-spec-defs-tr2005.pdf | 2005-12-09 11:49 | 230K | |
![[ ]](/icons/layout.gif) | ai-with-specs-sas06.pdf | 2006-07-05 20:23 | 241K | |
![[ ]](/icons/layout.gif) | ai-with-specs-wlpe05.pdf | 2005-12-09 11:07 | 220K | |
![[ ]](/icons/dvi.gif) | albert-puebla-herme.dvi | 2004-04-26 12:21 | 94K | |
![[ ]](/icons/layout.gif) | amadeo-phd.pdf | 2008-09-06 08:19 | 869K | |
![[ ]](/icons/layout.gif) | amos-D03.pdf | 2003-03-03 21:10 | 173K | |
![[ ]](/icons/layout.gif) | amos-D07.pdf | 2004-05-14 18:14 | 183K | |
![[ ]](/icons/layout.gif) | amos-D13.pdf | 2004-05-14 18:15 | 1.2M | |
![[ ]](/icons/layout.gif) | amos-D14.pdf | 2004-05-14 18:15 | 80K | |
![[ ]](/icons/layout.gif) | amos-cbd.pdf | 2003-02-28 14:24 | 310K | |
![[ ]](/icons/a.gif) | amos-cbd.ps | 2003-02-28 14:24 | 1.8M | |
![[ ]](/icons/layout.gif) | amos-hispalinux-TR.pdf | 2003-02-05 11:46 | 118K | |
![[ ]](/icons/a.gif) | amos-hispalinux-TR.ps | 2002-08-14 00:36 | 501K | |
![[ ]](/icons/layout.gif) | ams-agp02.pdf | 2025-04-20 08:40 | 194K | |
![[ ]](/icons/a.gif) | ams-agp02.ps | 2002-11-13 12:22 | 192K | |
![[ ]](/icons/layout.gif) | ams-agp02_bitmap.pdf | 2002-12-18 21:19 | 216K | |
![[ ]](/icons/layout.gif) | ams-ciclops.pdf | 2025-04-20 08:40 | 170K | |
![[ ]](/icons/a.gif) | ams-ciclops.ps | 2002-11-12 20:15 | 173K | |
![[ ]](/icons/layout.gif) | ams-ciclops_bitmap.pdf | 2002-12-18 21:19 | 194K | |
![[ ]](/icons/layout.gif) | ancons-ilps.pdf | 2024-02-20 11:54 | 281K | |
![[ ]](/icons/layout.gif) | anconsall-acm.pdf | 2003-06-17 12:01 | 432K | |
![[ ]](/icons/layout.gif) | andprolog-new-ciclops2007.pdf | 2008-07-22 06:11 | 171K | |
![[ ]](/icons/layout.gif) | andprolog-new-padl2008-unm.pdf | 2007-12-19 22:00 | 202K | |
![[ ]](/icons/layout.gif) | andprolog-new-padl2008.pdf | 2008-07-22 06:12 | 202K | |
![[ ]](/icons/layout.gif) | andprolog-new-pasco2007.pdf | 2007-07-19 22:56 | 148K | |
![[ ]](/icons/layout.gif) | anforreal-fimtr.pdf | 2025-04-20 08:40 | 293K | |
![[ ]](/icons/a.gif) | anforreal-fimtr.ps | 1999-12-01 13:48 | 285K | |
![[ ]](/icons/layout.gif) | anforreal-fimtr_bitmap.pdf | 2002-12-18 21:19 | 315K | |
![[ ]](/icons/layout.gif) | ann-compare-pasco.pdf | 2025-04-20 08:40 | 259K | |
![[ ]](/icons/a.gif) | ann-compare-pasco.ps | 1994-09-01 18:44 | 293K | |
![[ ]](/icons/layout.gif) | ann-compare-pasco_bitmap.pdf | 2002-12-18 21:19 | 283K | |
![[ ]](/icons/a.gif) | annotators-jlp.ps | 1999-08-27 17:32 | 781K | |
![[ ]](/icons/layout.gif) | apt-disciplbook.pdf | 2025-04-20 08:40 | 225K | |
![[ ]](/icons/a.gif) | apt-disciplbook.ps | 2000-03-24 20:59 | 642K | |
![[ ]](/icons/layout.gif) | apt-disciplbook_bitmap.pdf | 2002-12-18 21:19 | 380K | |
![[ ]](/icons/layout.gif) | arias19-event-calculus-asp-lopstr19.pdf | 2019-11-26 22:43 | 281K | |
![[ ]](/icons/layout.gif) | armageddon.pdf | 2016-12-11 16:17 | 937K | |
![[ ]](/icons/layout.gif) | asrHO-iclp2014-techcomm.pdf | 2014-04-18 19:24 | 190K | |
![[ ]](/icons/layout.gif) | asrHO-ppdp2014.pdf | 2014-07-30 02:45 | 568K | |
![[ ]](/icons/layout.gif) | asrHO-tr.pdf | 2016-07-27 17:33 | 435K | |
![[ ]](/icons/layout.gif) | assert-lang-disciplbook.pdf | 2025-04-20 08:40 | 313K | |
![[ ]](/icons/a.gif) | assert-lang-disciplbook.ps | 2000-03-24 20:34 | 347K | |
![[ ]](/icons/layout.gif) | assert-lang-disciplbook_bitmap.pdf | 2002-12-18 21:19 | 387K | |
![[ ]](/icons/layout.gif) | assert-lang-ws.pdf | 2025-04-20 08:40 | 257K | |
![[ ]](/icons/a.gif) | assert-lang-ws.ps | 1999-12-10 21:02 | 218K | |
![[ ]](/icons/layout.gif) | assert-lang-ws_bitmap.pdf | 2002-12-18 21:19 | 260K | |
![[ ]](/icons/layout.gif) | assert-pe-bytecode07.pdf | 2007-10-10 12:51 | 314K | |
![[ ]](/icons/layout.gif) | assrt-framework-cp98.pdf | 2025-04-20 08:40 | 77K | |
![[ ]](/icons/a.gif) | assrt-framework-cp98.ps | 1999-12-10 20:48 | 58K | |
![[ ]](/icons/layout.gif) | assrt-framework-cp98_bitmap.pdf | 2002-12-18 21:19 | 79K | |
![[ ]](/icons/layout.gif) | assrt-framework-ercim02.pdf | 2003-02-18 23:48 | 144K | |
![[ ]](/icons/layout.gif) | assrt-framework-icalp02.pdf | 2025-04-20 08:40 | 114K | |
![[ ]](/icons/a.gif) | assrt-framework-icalp02.ps | 2002-04-23 12:05 | 93K | |
![[ ]](/icons/layout.gif) | assrt-framework-icalp02_bitmap.pdf | 2002-12-18 21:19 | 116K | |
![[ ]](/icons/layout.gif) | assrt-framework-jicslp98ws.pdf | 2025-04-20 08:40 | 263K | |
![[ ]](/icons/a.gif) | assrt-framework-jicslp98ws.ps | 1999-12-10 20:53 | 247K | |
![[ ]](/icons/layout.gif) | assrt-framework-jicslp98ws_bitmap.pdf | 2002-12-18 21:19 | 284K | |
![[ ]](/icons/layout.gif) | assrt-framework-lopstr99-informal.pdf | 2025-04-20 08:40 | 255K | |
![[ ]](/icons/a.gif) | assrt-framework-lopstr99-informal.ps | 1999-07-30 18:10 | 233K | |
![[ ]](/icons/layout.gif) | assrt-framework-lopstr99-informal_bitmap.pdf | 2002-12-18 21:20 | 254K | |
![[ ]](/icons/layout.gif) | assrt-theoret-framework-lopstr99.pdf | 2025-04-20 08:40 | 291K | |
![[ ]](/icons/a.gif) | assrt-theoret-framework-lopstr99.ps | 2000-03-24 16:21 | 283K | |
![[ ]](/icons/layout.gif) | assrt-theoret-framework-lopstr99_bitmap.pdf | 2002-12-18 21:20 | 316K | |
![[ ]](/icons/layout.gif) | att-var-iclp.pdf | 2003-02-05 11:51 | 193K | |
![[ ]](/icons/a.gif) | att-var-iclp.ps | 1995-04-12 12:28 | 208K | |
![[ ]](/icons/layout.gif) | backwards-pd.pdf | 2005-12-09 11:47 | 173K | |
![[ ]](/icons/layout.gif) | bankovic-aiai-2015.pdf | 2016-02-10 16:50 | 734K | |
![[ ]](/icons/layout.gif) | bankovic-loop_perf-2015.pdf | 2016-02-10 16:50 | 631K | |
![[ ]](/icons/layout.gif) | bariannys12:spec_services.pdf | 2012-05-02 15:20 | 194K | |
![[ ]](/icons/layout.gif) | basic-block-energy-lopstr17-lncs-proc-18.pdf | 2018-02-27 09:49 | 303K | |
![[ ]](/icons/layout.gif) | big-small-step-vpt2020.pdf | 2020-07-30 08:36 | 218K | |
![[ ]](/icons/a.gif) | boris-phd.ps | 2001-11-18 22:04 | 9.0M | |
![[ ]](/icons/layout.gif) | cached-rtchecks-iclp2015.pdf | 2015-09-04 17:22 | 763K | |
![[ ]](/icons/layout.gif) | can87.pdf | 2016-12-11 16:17 | 590K | |
![[ ]](/icons/layout.gif) | carro04:teaching_concurrency.pdf | 2015-09-03 12:33 | 246K | |
![[ ]](/icons/layout.gif) | carro06:stream-interpreter-TR.pdf | 2006-05-08 17:05 | 262K | |
![[ ]](/icons/layout.gif) | carro06:stream_interpreter_cases.pdf | 2006-10-31 15:05 | 427K | |
![[ ]](/icons/layout.gif) | casas07:high_level_implem-tr.pdf | 2007-09-01 22:16 | 237K | |
![[ ]](/icons/layout.gif) | chico-casas-padl12.pdf | 2012-01-23 09:59 | 208K | |
![[ ]](/icons/layout.gif) | chico-pruning-padl13.pdf | 2012-11-27 01:13 | 168K | |
![[ ]](/icons/layout.gif) | chico-tclp-flops2012.pdf | 2012-06-02 01:22 | 261K | |
![[ ]](/icons/layout.gif) | chico07:_improv_contin_call_tablin.pdf | 2007-07-26 12:41 | 154K | |
![[ ]](/icons/layout.gif) | chico08:bridge-ciclops08.pdf | 2009-07-09 13:06 | 168K | |
![[ ]](/icons/layout.gif) | chico08:bridge-short-paper-ICLP08.pdf | 2009-07-09 13:03 | 87K | |
![[ ]](/icons/layout.gif) | chico08:general_tabling-tr.pdf | 2008-09-11 17:00 | 169K | |
![[ ]](/icons/layout.gif) | chico09:bridge-padl2009.pdf | 2009-07-09 13:04 | 168K | |
![[ ]](/icons/layout.gif) | ciao-cl2000-tut.pdf | 2004-03-08 17:17 | 228K | |
![[ ]](/icons/layout.gif) | ciao-clpfd-ciclops.pdf | 2012-08-01 13:20 | 244K | |
![[ ]](/icons/a.gif) | ciao-costmodel-2004.ps | 2004-10-21 17:35 | 255K | |
![[ ]](/icons/layout.gif) | ciao-desc-alp-2006.pdf | 2006-12-02 00:28 | 80K | |
![[ ]](/icons/layout.gif) | ciao-dis-impl-prode.pdf | 2025-04-20 08:40 | 205K | |
![[ ]](/icons/a.gif) | ciao-dis-impl-prode.ps | 1997-01-24 16:26 | 168K | |
![[ ]](/icons/layout.gif) | ciao-dis-impl-prode_bitmap.pdf | 2002-12-18 21:20 | 212K | |
![[ ]](/icons/layout.gif) | ciao-hiord.pdf | 2004-09-21 12:25 | 254K | |
![[ ]](/icons/layout.gif) | ciao-ilps95.pdf | 2025-04-20 08:40 | 231K | |
![[ ]](/icons/a.gif) | ciao-ilps95.ps | 1999-12-10 21:15 | 213K | |
![[ ]](/icons/layout.gif) | ciao-ilps95_bitmap.pdf | 2002-12-18 21:20 | 232K | |
![[ ]](/icons/layout.gif) | ciao-modules-analspec-entcs.pdf | 2025-04-20 08:40 | 311K | |
![[ ]](/icons/a.gif) | ciao-modules-analspec-entcs.ps | 2002-01-16 21:41 | 296K | |
![[ ]](/icons/layout.gif) | ciao-modules-analspec-entcs_bitmap.pdf | 2002-12-18 21:20 | 338K | |
![[ ]](/icons/layout.gif) | ciao-modules-analspec-ws.pdf | 2025-04-20 08:40 | 293K | |
![[ ]](/icons/a.gif) | ciao-modules-analspec-ws.ps | 1999-11-15 18:38 | 283K | |
![[ ]](/icons/layout.gif) | ciao-modules-analspec-ws_bitmap.pdf | 2002-12-18 21:20 | 300K | |
![[ ]](/icons/layout.gif) | ciao-modules-cl2000.pdf | 2025-04-20 08:40 | 228K | |
![[ ]](/icons/a.gif) | ciao-modules-cl2000.ps | 2000-05-15 23:46 | 208K | |
![[ ]](/icons/layout.gif) | ciao-modules-cl2000_bitmap.pdf | 2002-12-18 21:20 | 242K | |
![[ ]](/icons/layout.gif) | ciao-modules-ws.pdf | 2025-04-20 08:40 | 181K | |
![[ ]](/icons/a.gif) | ciao-modules-ws.ps | 1999-11-20 13:49 | 186K | |
![[ ]](/icons/layout.gif) | ciao-modules-ws_bitmap.pdf | 2002-12-18 21:20 | 197K | |
![[ ]](/icons/layout.gif) | ciao-novascience.pdf | 2025-04-20 08:40 | 210K | |
![[ ]](/icons/a.gif) | ciao-novascience.ps | 1999-08-27 16:19 | 202K | |
![[ ]](/icons/layout.gif) | ciao-novascience_bitmap.pdf | 2002-12-18 21:20 | 231K | |
![[ ]](/icons/layout.gif) | ciao-overview-ugo08.pdf | 2008-04-19 12:52 | 1.0M | |
![[ ]](/icons/layout.gif) | ciao-philosophy-note-tr.pdf | 2006-12-07 18:23 | 97K | |
![[ ]](/icons/layout.gif) | ciao-ppcp.pdf | 2025-04-20 08:40 | 168K | |
![[ ]](/icons/a.gif) | ciao-ppcp.ps | 1995-03-24 17:24 | 155K | |
![[ ]](/icons/layout.gif) | ciao-ppcp_bitmap.pdf | 2002-12-18 21:20 | 179K | |
![[ ]](/icons/a.gif) | ciao-profiler-2004-en.ps | 2005-02-11 14:03 | 380K | |
![[ ]](/icons/a.gif) | ciao-profiler-2004.ps | 2004-10-21 17:29 | 363K | |
![[ ]](/icons/layout.gif) | ciao-revext-ciclops.pdf | 2012-08-01 11:15 | 494K | |
![[ ]](/icons/layout.gif) | ciao_tut_lopstr18.pdf | 2018-09-17 20:13 | 2.7M | |
![[ ]](/icons/layout.gif) | ciaoc-ws.pdf | 2025-04-20 08:40 | 176K | |
![[ ]](/icons/a.gif) | ciaoc-ws.ps | 1999-11-22 20:47 | 182K | |
![[ ]](/icons/layout.gif) | ciaoc-ws_bitmap.pdf | 2002-12-18 21:20 | 190K | |
![[ ]](/icons/layout.gif) | ciaopp-iclp99-tut.pdf | 2025-04-20 08:40 | 256K | |
![[ ]](/icons/a.gif) | ciaopp-iclp99-tut.ps | 1999-08-26 17:19 | 221K | |
![[ ]](/icons/layout.gif) | ciaopp-iclp99-tut_bitmap.pdf | 2002-12-18 21:20 | 263K | |
![[ ]](/icons/layout.gif) | ciaopp-sas03-journal-scp.pdf | 2005-07-26 22:47 | 271K | |
![[ ]](/icons/layout.gif) | ciaopp-sas03.pdf | 2003-06-18 16:39 | 215K | |
![[ ]](/icons/layout.gif) | ciaopp-tutorial.pdf | 2006-01-12 18:56 | 786K | |
![[ ]](/icons/layout.gif) | clip-tr-5-2009-0.pdf | 2009-11-18 11:12 | 473K | |
![[ ]](/icons/layout.gif) | clp-to-js-iclp12.pdf | 2012-06-27 22:30 | 636K | |
![[ ]](/icons/layout.gif) | cocv04-ai-safety.pdf | 2004-04-26 14:38 | 291K | |
![[ ]](/icons/a.gif) | cocv04-ai-safety.ps | 2004-04-26 14:36 | 285K | |
![[ ]](/icons/layout.gif) | coderep-prode.pdf | 2003-02-06 12:37 | 177K | |
![[ ]](/icons/layout.gif) | colognet-man.pdf | 2003-12-17 12:57 | 459K | |
![[ ]](/icons/layout.gif) | comdom-toplas.pdf | 2023-02-06 16:28 | 369K | |
![[ ]](/icons/layout.gif) | composing-extensions-lopstr-11.pdf | 2012-01-17 18:09 | 378K | |
![[ ]](/icons/unknown.gif) | composing-extensions-lopstr-11.pdf-back | 2011-06-19 18:42 | 378K | |
![[ ]](/icons/layout.gif) | conf-fase-AlbertBGHR12.pdf | 2012-02-22 17:29 | 365K | |
![[ ]](/icons/layout.gif) | conf-pepm12-AlbertCPR12.pdf | 2012-02-22 17:34 | 363K | |
![[ ]](/icons/layout.gif) | conf-vmcai-AlbertGM11.pdf | 2011-02-22 16:40 | 219K | |
![[ ]](/icons/layout.gif) | consind-toplas.pdf | 2025-04-20 08:41 | 416K | |
![[ ]](/icons/a.gif) | consind-toplas.ps | 2000-04-16 17:23 | 478K | |
![[ ]](/icons/layout.gif) | consind-toplas_bitmap.pdf | 2002-12-18 21:20 | 425K | |
![[ ]](/icons/layout.gif) | constr-visual-issues-agp98.pdf | 2003-02-05 11:55 | 320K | |
![[ ]](/icons/a.gif) | constr-visual-issues-agp98.ps | 1998-10-15 21:51 | 768K | |
![[ ]](/icons/layout.gif) | cost-an-par-prog-2019-iclp-tc.pdf | 2019-09-30 00:54 | 111K | |
![[ ]](/icons/layout.gif) | cost-an-par-prog-lopstr19-post.pdf | 2020-02-11 19:29 | 419K | |
![[ ]](/icons/layout.gif) | cost-an-par-prog-lopstr19-pre.pdf | 2019-09-30 00:03 | 435K | |
![[ ]](/icons/layout.gif) | dagstuhl-tplpmove-slides.pdf | 2012-11-08 09:43 | 2.4M | |
![[ ]](/icons/layout.gif) | dagstuhl-tplpmove.pdf | 2013-03-10 18:59 | 285K | |
![[ ]](/icons/layout.gif) | damp07.pdf | 2007-01-21 20:42 | 386K | |
![[ ]](/icons/layout.gif) | daniel-jurjo-masters-thesis.pdf | 2021-07-16 20:14 | 1.2M | |
![[ ]](/icons/layout.gif) | daniel-phd.pdf | 2007-12-07 18:48 | 884K | |
![[ ]](/icons/a.gif) | daniel-phd.ps | 2007-12-07 18:49 | 3.4M | |
![[ ]](/icons/layout.gif) | daniela-ferreiro:bsc.pdf | 2023-05-02 09:59 | 1.7M | |
![[ ]](/icons/layout.gif) | daniela-ferreiro:msc.pdf | 2024-05-03 10:41 | 1.4M | |
![[ ]](/icons/layout.gif) | data-par-europar.pdf | 2003-02-05 12:01 | 143K | |
![[ ]](/icons/a.gif) | data-par-europar.ps | 1995-06-08 14:05 | 435K | |
![[ ]](/icons/layout.gif) | data-par-journal.pdf | 2003-02-06 10:23 | 171K | |
![[ ]](/icons/a.gif) | data-par-journal.ps | 2003-02-06 10:25 | 571K | |
![[ ]](/icons/layout.gif) | dblai-plilp91.pdf | 2003-06-04 17:24 | 139K | |
![[ ]](/icons/layout.gif) | debug-tools-disciplbook.pdf | 2003-03-03 11:55 | 146K | |
![[ ]](/icons/layout.gif) | decomp-oo-prolog-lopstr07.pdf | 2007-08-02 18:11 | 183K | |
![[ ]](/icons/layout.gif) | delay-new-ilps95.pdf | 2025-04-20 08:41 | 285K | |
![[ ]](/icons/a.gif) | delay-new-ilps95.ps | 2002-11-29 17:03 | 275K | |
![[ ]](/icons/layout.gif) | delay-new-ilps95_bitmap.pdf | 2002-12-18 21:20 | 283K | |
![[ ]](/icons/layout.gif) | delay-popl.pdf | 2025-04-20 08:41 | 248K | |
![[ ]](/icons/a.gif) | delay-popl.ps | 2002-11-29 16:58 | 249K | |
![[ ]](/icons/layout.gif) | delay-popl_bitmap.pdf | 2002-12-18 21:20 | 250K | |
![[ ]](/icons/layout.gif) | determ-09-tr.pdf | 2009-04-18 19:11 | 317K | |
![[ ]](/icons/unknown.gif) | determ-09-tr.rev60 | 2009-04-17 16:06 | 311K | |
![[ ]](/icons/layout.gif) | determ-lopstr04.pdf | 2005-12-09 11:25 | 222K | |
![[ ]](/icons/layout.gif) | determ-pre-lopstr04.pdf | 2004-12-13 17:48 | 208K | |
![[ ]](/icons/layout.gif) | determinacy-ngc09.pdf | 2009-08-19 01:10 | 287K | |
![[ ]](/icons/layout.gif) | diagnosis-iclp07.pdf | 2007-11-07 11:34 | 193K | |
![[ ]](/icons/layout.gif) | domcons-iclp-extabs.pdf | 2023-07-23 11:23 | 129K | |
![[ ]](/icons/layout.gif) | edison-phd.pdf | 2010-12-18 11:36 | 1.2M | |
![[ ]](/icons/layout.gif) | effimp-journal.pdf | 2004-04-23 19:02 | 141K | |
![[ ]](/icons/a.gif) | effimp-journal.ps | 1995-12-14 20:14 | 608K | |
![[ ]](/icons/layout.gif) | effofai-toplas.pdf | 2020-08-24 10:07 | 542K | |
![[ ]](/icons/a.gif) | effofai-toplas.ps | 1998-06-16 16:40 | 634K | |
![[ ]](/icons/layout.gif) | energy-ciaopp-alp-newsletter.pdf | 2017-09-16 20:05 | 1.1M | |
![[ ]](/icons/layout.gif) | energysched-jmvlsc.pdf | 2025-01-29 10:35 | 682K | |
![[ ]](/icons/layout.gif) | estim-exec-time-padl07.pdf | 2006-11-22 23:29 | 159K | |
![[ ]](/icons/layout.gif) | estim-exec-time-poster.pdf | 2010-10-27 14:07 | 811K | |
![[ ]](/icons/layout.gif) | estim-exec-time-ppdp08.pdf | 2008-07-04 15:38 | 281K | |
![[ ]](/icons/layout.gif) | estim-exec-time-tr.pdf | 2006-05-03 17:48 | 201K | |
![[ ]](/icons/layout.gif) | estim-exec-time-wlpe.pdf | 2010-10-27 14:21 | 206K | |
![[ ]](/icons/layout.gif) | eterms-sas02.pdf | 2025-04-20 08:41 | 228K | |
![[ ]](/icons/a.gif) | eterms-sas02.ps | 2002-07-11 18:20 | 262K | |
![[ ]](/icons/layout.gif) | eterms-sas02_bitmap.pdf | 2002-12-18 21:20 | 228K | |
![[ ]](/icons/layout.gif) | fdcs-cons-jou.pdf | 2025-04-20 08:41 | 136K | |
![[ ]](/icons/a.gif) | fdcs-cons-jou.ps | 2000-02-29 17:27 | 110K | |
![[ ]](/icons/layout.gif) | fdcs-cons-jou_bitmap.pdf | 2002-12-18 21:20 | 143K | |
![[ ]](/icons/layout.gif) | fixpt-javabytecode-FTfJP07.pdf | 2007-08-02 18:11 | 167K | |
![[ ]](/icons/layout.gif) | fixpt-javabytecode-bytecode07.pdf | 2007-02-07 09:35 | 237K | |
![[ ]](/icons/a.gif) | flexmem-europar96.ps | 1999-08-04 03:00 | 146K | |
![[ ]](/icons/layout.gif) | freeness-iclp91.pdf | 2025-04-20 08:41 | 268K | |
![[ ]](/icons/a.gif) | freeness-iclp91.ps | 2001-06-12 17:52 | 260K | |
![[ ]](/icons/layout.gif) | freeness-iclp91_bitmap.pdf | 2002-12-18 21:20 | 274K | |
![[ ]](/icons/layout.gif) | full-prolog-esop96.pdf | 2016-07-16 17:42 | 272K | |
![[ ]](/icons/a.gif) | full-prolog-esop96.ps | 1999-12-10 20:30 | 217K | |
![[ ]](/icons/layout.gif) | functional-lazy-notation-flops2006.pdf | 2006-01-29 01:28 | 206K | |
![[ ]](/icons/layout.gif) | fuzzy-cp2001.pdf | 2025-04-20 08:41 | 199K | |
![[ ]](/icons/a.gif) | fuzzy-cp2001.ps | 2001-10-26 16:55 | 205K | |
![[ ]](/icons/layout.gif) | fuzzy-cp2001_bitmap.pdf | 2002-12-18 21:20 | 199K | |
![[ ]](/icons/layout.gif) | fuzzy-cp2002.pdf | 2025-04-20 08:41 | 225K | |
![[ ]](/icons/a.gif) | fuzzy-cp2002.ps | 2002-05-07 11:08 | 262K | |
![[ ]](/icons/layout.gif) | fuzzy-cp2002_bitmap.pdf | 2002-12-18 21:20 | 226K | |
![[ ]](/icons/layout.gif) | fuzzy-gc-icfc10.pdf | 2010-10-04 13:28 | 211K | |
![[ ]](/icons/layout.gif) | fuzzy-iclp2002.pdf | 2025-04-20 08:41 | 225K | |
![[ ]](/icons/a.gif) | fuzzy-iclp2002.ps | 2002-05-14 10:19 | 262K | |
![[ ]](/icons/layout.gif) | fuzzy-iclp2002_bitmap.pdf | 2002-12-18 21:20 | 226K | |
![[ ]](/icons/layout.gif) | fuzzy-lpar02.pdf | 2025-04-20 08:41 | 225K | |
![[ ]](/icons/a.gif) | fuzzy-lpar02.ps | 2002-09-04 17:35 | 262K | |
![[ ]](/icons/layout.gif) | fuzzy-lpar02_bitmap.pdf | 2002-12-18 21:20 | 227K | |
![[ ]](/icons/a.gif) | fuzzy_FSS04.ps | 2004-09-07 01:09 | 346K | |
![[ ]](/icons/layout.gif) | gen-staticprofiling-iclp16.pdf | 2016-10-18 17:23 | 413K | |
![[ ]](/icons/layout.gif) | gen-staticprofiling-lcc-ws-18.pdf | 2018-07-19 14:25 | 236K | |
![[ ]](/icons/layout.gif) | german-phd.pdf | 2025-04-20 08:41 | 1.1M | |
![[ ]](/icons/a.gif) | german-phd.ps | 1998-06-25 14:38 | 1.4M | |
![[ ]](/icons/layout.gif) | german-phd_bitmap.pdf | 2002-12-18 21:20 | 2.6M | |
![[ ]](/icons/layout.gif) | granularity-jsc.pdf | 2025-04-20 08:41 | 289K | |
![[ ]](/icons/a.gif) | granularity-jsc.ps | 2002-11-28 18:41 | 271K | |
![[ ]](/icons/layout.gif) | granularity-jsc_bitmap.pdf | 2002-12-18 21:19 | 309K | |
![[ ]](/icons/layout.gif) | granularity-pasco94.pdf | 2025-04-20 08:41 | 282K | |
![[ ]](/icons/a.gif) | granularity-pasco94.ps | 2002-11-28 12:27 | 266K | |
![[ ]](/icons/layout.gif) | granularity-pasco94_bitmap.pdf | 2002-12-18 21:20 | 286K | |
![[ ]](/icons/layout.gif) | granularity.pdf | 2004-03-05 14:31 | 178K | |
![[ ]](/icons/layout.gif) | guided-analysis-post-lopstr18.pdf | 2019-06-17 12:55 | 438K | |
![[ ]](/icons/layout.gif) | guzman07:improv_tabling-tr.pdf | 2008-09-11 16:54 | 113K | |
![[ ]](/icons/layout.gif) | haemmerle-ppdp14.pdf | 2016-02-10 16:50 | 301K | |
![[ ]](/icons/layout.gif) | hald-demo-iclp-tc.pdf | 2023-06-12 10:30 | 451K | |
![[ ]](/icons/layout.gif) | hald-poster-iclp.pdf | 2023-07-04 23:02 | 532K | |
![[ ]](/icons/layout.gif) | hc-anal-verif-dpa-2018.pdf | 2018-07-19 13:23 | 6.4M | |
![[ ]](/icons/layout.gif) | heap-usage-ISMM10.pdf | 2010-10-13 14:34 | 249K | |
![[ ]](/icons/layout.gif) | herme-tick-icpp.pdf | 2016-12-11 16:09 | 505K | |
![[ ]](/icons/layout.gif) | hermenegildo-phd.pdf | 2016-12-11 16:16 | 9.1M | |
![[ ]](/icons/layout.gif) | hermenegildo08:ciao-design-ugo-fest.pdf | 2008-04-19 13:04 | 1.0M | |
![[ ]](/icons/layout.gif) | hermenegildo10:ciao-design-tplp-tr.pdf | 2010-11-01 23:20 | 739K | |
![[ ]](/icons/layout.gif) | hermenegildo11:ciao-design-tplp.pdf | 2012-01-23 09:25 | 907K | |
![[ ]](/icons/layout.gif) | hermenegildo11:ciao-stop.pdf | 2011-01-16 10:21 | 195K | |
![[ ]](/icons/layout.gif) | herranz04:teaching_concurrency.pdf | 2004-10-27 13:20 | 5.1M | |
![[ ]](/icons/layout.gif) | hlfullandpar-iclp2008.pdf | 2008-09-16 04:48 | 209K | |
![[ ]](/icons/layout.gif) | hs-evolang04.pdf | 2004-07-02 18:02 | 31K | |
![[ ]](/icons/layout.gif) | iclp04-ai-safety.pdf | 2005-12-09 11:03 | 48K | |
![[ ]](/icons/layout.gif) | iclp90-nsi.pdf | 2016-12-11 15:29 | 801K | |
![[ ]](/icons/layout.gif) | iclp2018-scasp.pdf | 2018-07-19 22:07 | 339K | |
![[ ]](/icons/layout.gif) | idra-europar96-long.pdf | 2025-04-20 08:41 | 312K | |
![[ ]](/icons/a.gif) | idra-europar96-long.ps | 1996-09-09 17:35 | 321K | |
![[ ]](/icons/layout.gif) | idra-europar96-long_bitmap.pdf | 2002-12-18 21:20 | 315K | |
![[ ]](/icons/layout.gif) | idra-europar96.pdf | 2003-02-06 10:50 | 127K | |
![[ ]](/icons/a.gif) | idra-europar96.ps | 2003-02-06 10:50 | 356K | |
![[ ]](/icons/layout.gif) | ignacio-casso:bsc.pdf | 2018-09-15 20:02 | 663K | |
![[ ]](/icons/layout.gif) | ignacio-casso:masters.pdf | 2021-07-28 18:36 | 403K | |
![[ ]](/icons/layout.gif) | improv-tabling-ciclops07.pdf | 2007-12-05 16:34 | 106K | |
![[ ]](/icons/layout.gif) | improv-tabling-padl2008.pdf | 2007-12-05 16:23 | 168K | |
![[ ]](/icons/layout.gif) | improv_contin_call_tablin.pdf | 2007-08-01 11:31 | 112K | |
![[ ]](/icons/layout.gif) | inc-acc-lpar06.pdf | 2006-07-25 12:08 | 199K | |
![[ ]](/icons/layout.gif) | inc-acc-tr.pdf | 2006-04-10 20:16 | 288K | |
![[ ]](/icons/layout.gif) | inc-acc-wits06.pdf | 2006-03-21 15:28 | 190K | |
![[ ]](/icons/layout.gif) | inc-acc-wlpe06.pdf | 2007-01-19 16:11 | 163K | |
![[ ]](/icons/layout.gif) | inc-fixp-sas.pdf | 2025-04-20 08:41 | 239K | |
![[ ]](/icons/a.gif) | inc-fixp-sas.ps | 1996-07-18 12:38 | 204K | |
![[ ]](/icons/layout.gif) | inc-fixp-sas_bitmap.pdf | 2002-12-18 21:20 | 270K | |
![[ ]](/icons/layout.gif) | inc_acc_tr.pdf | 2006-04-07 21:05 | 287K | |
![[ ]](/icons/layout.gif) | incanal-assrts-openpreds-lopstr19-post.pdf | 2020-08-16 21:12 | 1.2M | |
![[ ]](/icons/layout.gif) | incanal-assrts-openpreds-lopstr19-pre.pdf | 2019-08-31 12:05 | 473K | |
![[ ]](/icons/layout.gif) | incanal-iclp95.pdf | 2025-04-20 08:41 | 285K | |
![[ ]](/icons/a.gif) | incanal-iclp95.ps | 1998-07-03 15:00 | 255K | |
![[ ]](/icons/layout.gif) | incanal-iclp95_bitmap.pdf | 2002-12-18 21:20 | 284K | |
![[ ]](/icons/layout.gif) | incanal-toplas.pdf | 2025-04-20 08:41 | 414K | |
![[ ]](/icons/a.gif) | incanal-toplas.ps | 2000-05-12 08:52 | 409K | |
![[ ]](/icons/layout.gif) | incanal-toplas_bitmap.pdf | 2002-12-18 21:20 | 425K | |
![[ ]](/icons/layout.gif) | indexed-terms-ciclops-2014.pdf | 2014-07-30 02:49 | 299K | |
![[ ]](/icons/layout.gif) | indexed-terms-lopstr-2014-postproc-2015.pdf | 2015-01-31 17:57 | 303K | |
![[ ]](/icons/layout.gif) | intermod-incanal-2018-iclp-tc.pdf | 2018-07-17 17:50 | 210K | |
![[ ]](/icons/layout.gif) | intermod-incanal-hcvs21.pdf | 2021-04-06 10:42 | 3.5M | |
![[ ]](/icons/layout.gif) | intermod-incanal-hvcs21.pdf | 2021-04-06 10:42 | 3.5M | |
![[ ]](/icons/layout.gif) | intervals-sara.pdf | 2025-04-20 08:41 | 254K | |
![[ ]](/icons/a.gif) | intervals-sara.ps | 2000-05-16 14:05 | 459K | |
![[ ]](/icons/layout.gif) | intervals-sara_bitmap.pdf | 2002-12-18 21:20 | 265K | |
![[ ]](/icons/layout.gif) | isa-energy-lopstr13-final.pdf | 2014-09-28 21:32 | 513K | |
![[ ]](/icons/layout.gif) | isa-vs-llvm-fopara.pdf | 2016-02-10 16:50 | 884K | |
![[ ]](/icons/layout.gif) | isabel-garcia-contreras-phd.pdf | 2021-10-21 11:53 | 4.4M | |
![[ ]](/icons/layout.gif) | isabelgc-ms.pdf | 2017-04-03 23:28 | 1.2M | |
![[ ]](/icons/layout.gif) | ivanovic09-cost-adaptation-tr-1.pdf | 2010-03-16 14:18 | 758K | |
![[ ]](/icons/layout.gif) | ivanovic09-cost-adaptation-tr.pdf | 2009-12-09 11:33 | 473K | |
![[ ]](/icons/layout.gif) | ivanovic09-res-anal-orch-mona.pdf | 2010-09-29 06:26 | 644K | |
![[ ]](/icons/layout.gif) | ivanovic09-res-anal-orch-tr.pdf | 2009-12-09 11:31 | 335K | |
![[ ]](/icons/layout.gif) | ivanovic10-attrib-sharing-tr.pdf | 2011-01-13 11:13 | 259K | |
![[ ]](/icons/layout.gif) | ivanovic10-data-aware-qos-adapt.pdf | 2010-05-10 13:33 | 298K | |
![[ ]](/icons/layout.gif) | ivanovic10-dyn-mod-serv-prov.pdf | 2010-07-13 12:32 | 328K | |
![[ ]](/icons/layout.gif) | ivanovic10:sharing_fragmentation.pdf | 2010-09-29 06:25 | 308K | |
![[ ]](/icons/layout.gif) | ivanovic11-attrib-inf.pdf | 2011-06-28 17:04 | 271K | |
![[ ]](/icons/layout.gif) | ivanovic11:qos-constraints.pdf | 2011-09-06 12:56 | 258K | |
![[ ]](/icons/layout.gif) | ivanovic12-qos-pred-eval.pdf | 2012-04-17 12:14 | 1.0M | |
![[ ]](/icons/layout.gif) | ivanovic12:icsoc2012.pdf | 2012-08-02 19:06 | 174K | |
![[ ]](/icons/layout.gif) | ivanovic12:qos-constraints-wlpe.pdf | 2012-08-03 15:35 | 120K | |
![[ ]](/icons/layout.gif) | ivanovic13:qos_predic_statistics.pdf | 2013-03-14 16:04 | 278K | |
![[ ]](/icons/layout.gif) | java-bytecode-fixpoint-tr.pdf | 2007-01-21 20:56 | 206K | |
![[ ]](/icons/layout.gif) | jfran-phd.pdf | 2010-07-28 21:41 | 2.3M | |
![[ ]](/icons/layout.gif) | joaquin-phd.pdf | 2020-02-13 13:43 | 1.1M | |
![[ ]](/icons/layout.gif) | jorge-ms.pdf | 2003-12-17 12:59 | 174K | |
![[ ]](/icons/layout.gif) | jorge-navas-phd.pdf | 2008-10-06 13:01 | 1.2M | |
![[ ]](/icons/layout.gif) | jpet-11.pdf | 2011-09-12 12:28 | 123K | |
![[ ]](/icons/layout.gif) | jurjo-domcons-tr.pdf | 2023-08-21 13:11 | 576K | |
![[ ]](/icons/layout.gif) | jvm-by-pe-svv06.pdf | 2008-08-27 13:27 | 282K | |
![[ ]](/icons/layout.gif) | jvm-cost-esop.pdf | 2007-01-19 16:03 | 217K | |
![[ ]](/icons/layout.gif) | jvm-cost-exp-bytecode07.pdf | 2007-02-08 13:32 | 230K | |
![[ ]](/icons/layout.gif) | jvm-cost-prole07.pdf | 2008-05-27 13:28 | 349K | |
![[ ]](/icons/layout.gif) | jvm-heap-ismm07.pdf | 2007-10-10 12:38 | 239K | |
![[ ]](/icons/layout.gif) | jvm-pe-padl07.pdf | 2006-10-31 14:12 | 178K | |
![[ ]](/icons/layout.gif) | jvm-termin.pdf | 2008-05-27 13:25 | 98K | |
![[ ]](/icons/layout.gif) | kish-simulator-ijpp.pdf | 2010-10-20 17:36 | 349K | |
![[ ]](/icons/layout.gif) | klemen15-ms.pdf | 2025-02-08 12:55 | 859K | |
![[ ]](/icons/layout.gif) | kritikos12:survey_QoS.pdf | 2015-09-03 12:28 | 4.0M | |
![[ ]](/icons/layout.gif) | lazy-functions-ciclops05.pdf | 2005-11-08 01:37 | 134K | |
![[ ]](/icons/layout.gif) | lopstr04-unfolding-informal.pdf | 2005-12-09 11:20 | 143K | |
![[ ]](/icons/layout.gif) | lopstr04-unfolding-short.pdf | 2005-12-09 11:18 | 143K | |
![[ ]](/icons/layout.gif) | lopstr04-unfolding-tr.pdf | 2005-12-09 11:19 | 257K | |
![[ ]](/icons/layout.gif) | lopstr04-unfolding.pdf | 2005-05-26 16:41 | 260K | |
![[ ]](/icons/layout.gif) | lopstr2023-inv-talk.pdf | 2023-10-24 09:18 | 5.0M | |
![[ ]](/icons/layout.gif) | low-bou-sas94.pdf | 2025-04-20 08:41 | 176K | |
![[ ]](/icons/a.gif) | low-bou-sas94.ps | 2002-11-28 12:57 | 145K | |
![[ ]](/icons/layout.gif) | low-bou-sas94_bitmap.pdf | 2002-12-18 21:20 | 177K | |
![[ ]](/icons/layout.gif) | low-bounds-ilps97.pdf | 2025-04-20 08:41 | 265K | |
![[ ]](/icons/a.gif) | low-bounds-ilps97.ps | 2002-11-28 11:57 | 240K | |
![[ ]](/icons/layout.gif) | low-bounds-ilps97_bitmap.pdf | 2002-12-18 21:21 | 269K | |
![[ ]](/icons/layout.gif) | lpar04-ai-safety-long.pdf | 2005-12-09 11:15 | 194K | |
![[ ]](/icons/layout.gif) | lpar04-ai-safety.pdf | 2005-12-09 10:52 | 194K | |
![[ ]](/icons/a.gif) | lpco.ps | 1994-06-08 20:21 | 342K | |
![[ ]](/icons/layout.gif) | lpdoc-cl2000.pdf | 2025-04-20 08:41 | 244K | |
![[ ]](/icons/a.gif) | lpdoc-cl2000.ps | 2000-05-17 17:10 | 231K | |
![[ ]](/icons/layout.gif) | lpdoc-cl2000_bitmap.pdf | 2002-12-18 21:21 | 264K | |
![[ ]](/icons/layout.gif) | lpdoc-ws.pdf | 2025-04-20 08:41 | 278K | |
![[ ]](/icons/a.gif) | lpdoc-ws.ps | 1999-11-22 10:49 | 259K | |
![[ ]](/icons/layout.gif) | lpdoc-ws_bitmap.pdf | 2002-12-18 21:21 | 283K | |
![[ ]](/icons/layout.gif) | main.pdf | 2007-02-10 20:34 | 321 | |
![[ ]](/icons/layout.gif) | mancioppi08:sound_multiparty.pdf | 2009-07-09 17:32 | 245K | |
![[ ]](/icons/layout.gif) | marco-tfg.pdf | 2024-06-29 20:58 | 8.7M | |
![[ ]](/icons/layout.gif) | marpons07:codin_rules_poster.pdf | 2007-08-31 16:35 | 307K | |
![[ ]](/icons/layout.gif) | marpons07:coding_rule_confor-tr.pdf | 2007-09-01 23:49 | 187K | |
![[ ]](/icons/layout.gif) | marronRegions09.pdf | 2009-07-30 00:36 | 296K | |
![[ ]](/icons/layout.gif) | maximiliano-klemen-phd.pdf | 2025-02-08 12:02 | 1.3M | |
![[ ]](/icons/layout.gif) | mcarro-ms-eng.pdf | 2003-02-06 15:47 | 171K | |
![[ ]](/icons/layout.gif) | mcctr-fixpt.pdf | 2023-06-04 13:04 | 264K | |
![[ ]](/icons/a.gif) | memman-kluwer.ps | 1999-08-04 02:54 | 278K | |
![[ ]](/icons/layout.gif) | mera07:towards_exec_time-tr.pdf | 2007-09-01 23:13 | 241K | |
![[ ]](/icons/layout.gif) | minunf-lopstr05.pdf | 2005-12-22 15:51 | 202K | |
![[ ]](/icons/layout.gif) | mobile-objects-ciclops.pdf | 2002-12-18 21:21 | 169K | |
![[ ]](/icons/layout.gif) | mobius-tgc06.pdf | 2008-02-27 10:42 | 224K | |
![[ ]](/icons/layout.gif) | mod-an-lopstrbook.pdf | 2004-04-23 18:30 | 235K | |
![[ ]](/icons/layout.gif) | mod-bench-final.pdf | 2005-07-26 20:18 | 195K | |
![[ ]](/icons/layout.gif) | mod-ctchecks-lpar06.pdf | 2006-09-22 15:30 | 167K | |
![[ ]](/icons/layout.gif) | mod-decomp-jist09.pdf | 2009-07-21 01:03 | 451K | |
![[ ]](/icons/layout.gif) | mod-decomp-prole08.pdf | 2009-07-09 15:46 | 213K | |
![[ ]](/icons/layout.gif) | mod-decomp-scam08.pdf | 2009-02-12 12:21 | 415K | |
![[ ]](/icons/layout.gif) | mod-decomp-tr.pdf | 2008-05-13 21:00 | 369K | |
![[ ]](/icons/layout.gif) | mod-types-pepm08.pdf | 2008-01-24 13:41 | 157K | |
![[ ]](/icons/layout.gif) | modbenchmarks-lopstr05.pdf | 2005-12-09 18:06 | 154K | |
![[ ]](/icons/layout.gif) | modular-anal-lopstr.pdf | 2025-04-20 08:41 | 214K | |
![[ ]](/icons/a.gif) | modular-anal-lopstr.ps | 2001-09-30 22:41 | 206K | |
![[ ]](/icons/layout.gif) | modular-anal-lopstr_bitmap.pdf | 2002-12-18 21:21 | 217K | |
![[ ]](/icons/layout.gif) | morales02:p-to-c-types.pdf | 2003-02-06 18:19 | 137K | |
![[ ]](/icons/layout.gif) | morales02:p_to_c_types.pdf | 2025-04-20 08:41 | 124K | |
![[ ]](/icons/a.gif) | morales02:p_to_c_types.ps | 2002-09-15 22:51 | 373K | |
![[ ]](/icons/layout.gif) | morales02:p_to_c_types_bitmap.pdf | 2002-12-18 21:21 | 135K | |
![[ ]](/icons/layout.gif) | morales03:p-to-c-ciclops.pdf | 2004-03-26 18:27 | 199K | |
![[ ]](/icons/layout.gif) | morales04:compilation-tr.pdf | 2004-04-22 15:07 | 213K | |
![[ ]](/icons/layout.gif) | morales04:p-to-c-padl.pdf | 2004-04-23 17:17 | 162K | |
![[ ]](/icons/layout.gif) | morales05:generic_eff_AM_impl.pdf | 2006-05-09 00:07 | 175K | |
![[ ]](/icons/layout.gif) | morales05:generic_eff_AM_implem_iclp.pdf | 2005-12-13 17:47 | 175K | |
![[ ]](/icons/layout.gif) | morales09:improlog-tr.pdf | 2009-10-05 03:17 | 625K | |
![[ ]](/icons/layout.gif) | morales11:compext-tr.pdf | 2011-02-03 10:17 | 266K | |
![[ ]](/icons/layout.gif) | morales15:improlog-tplp.pdf | 2015-01-06 08:54 | 2.8M | |
![[ ]](/icons/layout.gif) | mvv-tabling-iclp09.pdf | 2009-05-02 11:38 | 168K | |
![[ ]](/icons/layout.gif) | naclp89-correctness.pdf | 2016-12-11 15:19 | 1.2M | |
![[ ]](/icons/layout.gif) | nataliia-ms.pdf | 2016-07-26 12:45 | 1.1M | |
![[ ]](/icons/layout.gif) | nataliia-phd.pdf | 2018-08-31 17:08 | 3.8M | |
![[ ]](/icons/layout.gif) | negation-gulp.pdf | 2003-03-02 12:48 | 170K | |
![[ ]](/icons/layout.gif) | negation-lpar.pdf | 2025-04-20 08:41 | 188K | |
![[ ]](/icons/a.gif) | negation-lpar.ps | 2001-09-30 22:29 | 160K | |
![[ ]](/icons/layout.gif) | negation-lpar_bitmap.pdf | 2002-12-18 21:21 | 204K | |
![[ ]](/icons/layout.gif) | negsharing-iclp08-old.pdf | 2008-09-23 11:36 | 179K | |
![[ ]](/icons/layout.gif) | negsharing-iclp08.pdf | 2008-11-03 04:57 | 255K | |
![[ ]](/icons/layout.gif) | nfdp_no_public.pdf | 2003-12-16 12:47 | 594K | |
![[ ]](/icons/layout.gif) | nfplai-flops04.pdf | 2004-04-23 18:03 | 278K | |
![[ ]](/icons/a.gif) | nfplai-flops04.ps | 2004-04-23 17:35 | 290K | |
![[ ]](/icons/layout.gif) | ngc-and-prolog.pdf | 2005-07-26 22:12 | 258K | |
![[ ]](/icons/layout.gif) | nik-dag-trans.pdf | 2004-07-02 17:57 | 272K | |
![[ ]](/icons/layout.gif) | nik-named-const.pdf | 2006-02-08 11:18 | 446K | |
![[ ]](/icons/layout.gif) | non-failure-iclp97.pdf | 2025-04-20 08:41 | 299K | |
![[ ]](/icons/a.gif) | non-failure-iclp97.ps | 1998-09-28 11:34 | 568K | |
![[ ]](/icons/layout.gif) | non-failure-iclp97_bitmap.pdf | 2002-12-18 21:21 | 300K | |
![[ ]](/icons/layout.gif) | nonleftmost-lopstr05.pdf | 2005-12-11 10:12 | 173K | |
![[ ]](/icons/layout.gif) | novatica-aeropuerto.pdf | 2002-12-18 21:21 | 74K | |
![[ ]](/icons/layout.gif) | novatica-almejas.pdf | 2004-04-23 17:46 | 116K | |
![[ ]](/icons/layout.gif) | novatica-bosque.pdf | 2004-04-23 17:46 | 99K | |
![[ ]](/icons/layout.gif) | novatica-interrupcion.pdf | 2004-04-23 17:46 | 98K | |
![[ ]](/icons/layout.gif) | novatica-mira-y-di.pdf | 2004-04-23 17:46 | 866K | |
![[ ]](/icons/layout.gif) | novatica-queso.pdf | 2002-12-18 21:21 | 95K | |
![[ ]](/icons/layout.gif) | nsicond-tcs.pdf | 2009-02-13 01:18 | 338K | |
![[ ]](/icons/layout.gif) | ociao-tr.pdf | 2025-04-20 08:41 | 203K | |
![[ ]](/icons/a.gif) | ociao-tr.ps | 1999-07-28 15:34 | 201K | |
![[ ]](/icons/layout.gif) | ociao-tr_bitmap.pdf | 2002-12-18 21:21 | 217K | |
![[ ]](/icons/layout.gif) | oo_shnltau-tr.pdf | 2007-02-10 04:43 | 257K | |
![[ ]](/icons/layout.gif) | oo_shnltau-tr2.pdf | 2007-11-14 03:40 | 279K | |
![[ ]](/icons/layout.gif) | optchk-journal-scp.pdf | 2017-07-25 20:30 | 579K | |
![[ ]](/icons/layout.gif) | optchk-ppdp2016.pdf | 2016-08-16 17:16 | 388K | |
![[DIR]](/icons/folder.gif) | optchk-ppdp2016/ | 2016-05-30 12:07 | - | |
![[DIR]](/icons/folder.gif) | optchk-scp2017/ | 2017-07-22 00:19 | - | |
![[ ]](/icons/layout.gif) | oracle-pcpe-qapl08.pdf | 2009-07-09 19:16 | 276K | |
![[ ]](/icons/layout.gif) | ordclp_tr_2003.pdf | 2003-10-02 12:42 | 163K | |
![[ ]](/icons/layout.gif) | order-recsolv-sas24.pdf | 2024-08-13 12:52 | 6.2M | |
![[DIR]](/icons/folder.gif) | padl2018-aggregate/ | 2018-10-01 22:02 | - | |
![[DIR]](/icons/folder.gif) | padl2019-atclp/ | 2018-11-01 21:48 | - | |
![[ ]](/icons/layout.gif) | parback-chico-ICLP11.pdf | 2011-03-13 19:11 | 143K | |
![[ ]](/icons/layout.gif) | partut-20years-tplp.pdf | 2022-02-26 18:42 | 750K | |
![[ ]](/icons/layout.gif) | partut-toplas.pdf | 2010-04-03 19:35 | 1.1M | |
![[ ]](/icons/layout.gif) | pcpd-ppdp06.pdf | 2006-06-01 16:11 | 169K | |
![[ ]](/icons/layout.gif) | pcpe-pepm07.pdf | 2007-01-05 10:39 | 188K | |
![[ ]](/icons/layout.gif) | pcpe-wflp-entcs.pdf | 2008-03-24 23:24 | 233K | |
![[ ]](/icons/layout.gif) | pe-in-plai-pepm99.pdf | 2025-04-20 08:41 | 219K | |
![[ ]](/icons/a.gif) | pe-in-plai-pepm99.ps | 1999-08-27 16:25 | 233K | |
![[ ]](/icons/layout.gif) | pe-in-plai-pepm99_bitmap.pdf | 2002-12-18 21:21 | 222K | |
![[ ]](/icons/layout.gif) | pe-in-plai-ws.pdf | 2025-04-20 08:41 | 203K | |
![[ ]](/icons/a.gif) | pe-in-plai-ws.ps | 1999-12-10 21:07 | 190K | |
![[ ]](/icons/layout.gif) | pe-in-plai-ws_bitmap.pdf | 2002-12-18 21:21 | 201K | |
![[ ]](/icons/layout.gif) | pedro-phd.pdf | 2003-01-08 18:44 | 633K | |
![[ ]](/icons/layout.gif) | persdb-iclp03-abstract.pdf | 2003-09-01 08:44 | 48K | |
![[ ]](/icons/layout.gif) | persdb-itcls-2003.pdf | 2003-11-12 18:09 | 136K | |
![[ ]](/icons/layout.gif) | persdb-padl-2004.pdf | 2004-04-23 18:19 | 138K | |
![[ ]](/icons/layout.gif) | persdb-tr.pdf | 2004-04-13 15:15 | 186K | |
![[ ]](/icons/layout.gif) | persdb-tr1.pdf | 2004-04-13 15:16 | 186K | |
![[ ]](/icons/layout.gif) | persdb.pdf | 2003-08-29 12:17 | 155K | |
![[ ]](/icons/layout.gif) | pillow-tplp.pdf | 2025-04-20 08:41 | 348K | |
![[ ]](/icons/a.gif) | pillow-tplp.ps | 2001-01-15 18:19 | 347K | |
![[ ]](/icons/layout.gif) | pillow-tplp_bitmap.pdf | 2002-12-18 21:21 | 382K | |
![[ ]](/icons/layout.gif) | pillow-ws-dist.pdf | 2025-04-20 08:41 | 261K | |
![[ ]](/icons/a.gif) | pillow-ws-dist.ps | 1999-09-28 13:46 | 272K | |
![[ ]](/icons/layout.gif) | pillow-ws-dist_bitmap.pdf | 2002-12-18 21:21 | 288K | |
![[ ]](/icons/layout.gif) | pillow-www6.pdf | 2025-04-20 08:41 | 270K | |
![[ ]](/icons/a.gif) | pillow-www6.ps | 1999-09-28 13:39 | 288K | |
![[ ]](/icons/layout.gif) | pillow-www6_bitmap.pdf | 2002-12-18 21:21 | 299K | |
![[ ]](/icons/layout.gif) | pineda02:ociao.pdf | 2025-04-20 08:41 | 177K | |
![[ ]](/icons/a.gif) | pineda02:ociao.ps | 2002-11-12 20:04 | 193K | |
![[ ]](/icons/layout.gif) | pineda02:ociao_bitmap.pdf | 2002-12-18 21:21 | 187K | |
![[ ]](/icons/layout.gif) | pipeline-lopstr09.pdf | 2011-05-27 16:45 | 858K | |
![[ ]](/icons/layout.gif) | plai-resources-iclp14.pdf | 2014-07-30 02:07 | 328K | |
![[ ]](/icons/layout.gif) | ppdp2016-tclp.pdf | 2016-07-07 12:43 | 273K | |
![[DIR]](/icons/folder.gif) | ppdp2016-tclp/ | 2018-04-03 14:13 | - | |
![[ ]](/icons/layout.gif) | pracabsin.pdf | 2016-12-11 16:11 | 726K | |
![[ ]](/icons/layout.gif) | pracai-jlp.pdf | 2016-12-11 16:10 | 1.0M | |
![[ ]](/icons/layout.gif) | preproc-disciplbook.pdf | 2025-04-20 08:41 | 359K | |
![[ ]](/icons/a.gif) | preproc-disciplbook.ps | 2000-03-24 20:38 | 414K | |
![[ ]](/icons/layout.gif) | preproc-disciplbook_bitmap.pdf | 2002-12-18 21:21 | 457K | |
![[ ]](/icons/layout.gif) | profiling-padl11.pdf | 2010-11-04 15:03 | 468K | |
![[ ]](/icons/layout.gif) | profiling-tr.pdf | 2010-12-29 12:51 | 551K | |
![[ ]](/icons/layout.gif) | prog-glob-an-tr.pdf | 2025-04-20 08:41 | 369K | |
![[ ]](/icons/a.gif) | prog-glob-an-tr.ps | 1998-10-14 15:00 | 338K | |
![[ ]](/icons/layout.gif) | prog-glob-an-tr_bitmap.pdf | 2002-12-18 21:21 | 379K | |
![[ ]](/icons/layout.gif) | prog-glob-an.pdf | 2025-04-20 08:41 | 311K | |
![[ ]](/icons/a.gif) | prog-glob-an.ps | 1999-02-09 11:05 | 300K | |
![[ ]](/icons/layout.gif) | prog-glob-an_bitmap.pdf | 2002-12-18 21:21 | 341K | |
![[ ]](/icons/a.gif) | prolog-modules-cl2000.ps | 2000-05-15 23:46 | 208K | |
![[ ]](/icons/layout.gif) | prolog50-iclp-invtalk.pdf | 2022-11-16 19:42 | 3.6M | |
![[ ]](/icons/layout.gif) | prolog50-sistedes-invtalk.pdf | 2022-11-05 19:12 | 3.6M | |
![[ ]](/icons/layout.gif) | prolog50_cilc_invtalk.pdf | 2022-11-04 16:32 | 2.1M | |
![[ ]](/icons/layout.gif) | prolog50_iclp_invtalk.pdf | 2022-11-16 19:42 | 3.6M | |
![[ ]](/icons/layout.gif) | prolog50_prologday_invtalk.pdf | 2022-11-16 20:10 | 1.4M | |
![[ ]](/icons/layout.gif) | prolog50_sistedes_invtalk.pdf | 2022-11-05 19:12 | 3.6M | |
![[ ]](/icons/layout.gif) | provrml-paclp.pdf | 2025-04-20 08:41 | 2.2K | |
![[ ]](/icons/layout.gif) | provrml-paclp_bitmap.pdf | 2002-12-18 21:21 | 384K | |
![[ ]](/icons/layout.gif) | qe-andorra-fim-new.pdf | 2025-03-29 23:05 | 312K | |
![[ ]](/icons/layout.gif) | qe-andorra-fim.pdf | 2025-03-29 22:30 | 314K | |
![[ ]](/icons/layout.gif) | qeandorra-tr-deliv.pdf | 2025-03-29 22:37 | 316K | |
![[ ]](/icons/layout.gif) | regular-path-clauses-hcvs21.pdf | 2021-08-08 08:49 | 190K | |
![[ ]](/icons/layout.gif) | res-anal-bpel-09-tr.pdf | 2009-09-09 15:18 | 259K | |
![[ ]](/icons/layout.gif) | resource-iclp07.pdf | 2016-11-18 10:16 | 352K | |
![[ ]](/icons/layout.gif) | resource-tr.pdf | 2007-01-23 03:17 | 177K | |
![[ ]](/icons/layout.gif) | resource-verif-10-tr.pdf | 2010-03-03 18:06 | 304K | |
![[ ]](/icons/layout.gif) | resource-verif-2012.pdf | 2012-06-02 01:24 | 388K | |
![[ ]](/icons/layout.gif) | resource-verif-iclp2010.pdf | 2010-11-17 14:33 | 166K | |
![[ ]](/icons/layout.gif) | resource-verif-vpt-2017.pdf | 2017-08-03 12:52 | 58K | |
![[ ]](/icons/layout.gif) | resources-blockchain-sas20.pdf | 2020-10-06 21:17 | 481K | |
![[ ]](/icons/layout.gif) | resources-bytecode-tr.pdf | 2008-09-10 00:17 | 257K | |
![[ ]](/icons/layout.gif) | resources-bytecode09.pdf | 2020-08-21 09:33 | 377K | |
![[ ]](/icons/layout.gif) | resources-mzn-11.pdf | 2011-10-31 13:01 | 422K | |
![[ ]](/icons/layout.gif) | revext-padl13.pdf | 2013-01-16 10:42 | 572K | |
![[ ]](/icons/layout.gif) | rtchecks-cost-2018-iclp-tc.pdf | 2018-05-28 09:57 | 214K | |
![[ ]](/icons/layout.gif) | rtchecks-cost-2018-ppdp.pdf | 2018-07-19 21:01 | 857K | |
![[DIR]](/icons/folder.gif) | rtchecks-cost/ | 2018-05-09 00:13 | - | |
![[ ]](/icons/layout.gif) | rtcimp-dc-iclp2017-tc.pdf | 2017-07-26 17:31 | 574K | |
![[ ]](/icons/layout.gif) | rustenholz-aars-msc.pdf | 2024-05-09 15:37 | 3.1M | |
![[ ]](/icons/layout.gif) | rustenholz-mmsd-cat-vi-report.pdf | 2024-06-13 15:02 | 959K | |
![[ ]](/icons/layout.gif) | rustenholz-mmsd-cat-vi-slides.pdf | 2024-06-13 15:02 | 1.1M | |
![[ ]](/icons/layout.gif) | rustenholz-s-unites-polytechniqueversion-report.pdf | 2024-06-13 15:02 | 5.6M | |
![[ ]](/icons/layout.gif) | rustenholz-s-unites-polytechniqueversion-slides.pdf | 2024-06-13 15:02 | 2.4M | |
![[ ]](/icons/layout.gif) | rustenholz-tipe-ens-report.pdf | 2024-06-13 15:02 | 848K | |
![[ ]](/icons/layout.gif) | rustenholz-tipe-mines-ponts-slides.pdf | 2024-06-13 15:02 | 1.5M | |
![[DIR]](/icons/folder.gif) | sCASP-ICLP2020/ | 2020-09-03 17:07 | - | |
![[ ]](/icons/layout.gif) | scasp-web-gde.pdf | 2022-07-22 20:59 | 961K | |
![[DIR]](/icons/folder.gif) | scasp/ | 2020-04-15 22:11 | - | |
![[ ]](/icons/layout.gif) | seff.pdf | 2004-11-09 15:11 | 167K | |
![[ ]](/icons/layout.gif) | set-based-absint-padl.pdf | 2003-01-27 14:08 | 180K | |
![[ ]](/icons/compressed.gif) | set-based-absint-padl.ps.gz | 2003-01-27 15:16 | 93K | |
![[ ]](/icons/layout.gif) | set-sharing-with-zdd-lcpc08.pdf | 2008-11-12 05:09 | 276K | |
![[ ]](/icons/layout.gif) | set_sharing_with_zdd-LCPC08-slides.pdf | 2008-08-12 02:40 | 164K | |
![[ ]](/icons/layout.gif) | setsh-flops04.pdf | 2004-04-26 13:19 | 145K | |
![[ ]](/icons/layout.gif) | shabsint.pdf | 2025-04-20 08:41 | 334K | |
![[ ]](/icons/a.gif) | shabsint.ps | 2002-06-14 09:36 | 368K | |
![[ ]](/icons/layout.gif) | shabsint_bitmap.pdf | 2002-12-18 21:21 | 371K | |
![[ ]](/icons/layout.gif) | shared-database.pdf | 2003-02-06 16:00 | 166K | |
![[ ]](/icons/layout.gif) | sharing-stars.pdf | 2004-12-15 10:38 | 97K | |
![[ ]](/icons/layout.gif) | sharing-wflp08.pdf | 2008-08-05 03:22 | 583K | |
![[ ]](/icons/layout.gif) | shcliques-padl06.pdf | 2005-11-07 04:35 | 461K | |
![[ ]](/icons/layout.gif) | shcliques-tr.pdf | 2005-12-14 17:29 | 243K | |
![[ ]](/icons/layout.gif) | shcliques-wlpe05.pdf | 2005-09-26 22:16 | 198K | |
![[ ]](/icons/layout.gif) | shnltau-vmcai08.pdf | 2008-01-25 04:30 | 490K | |
![[ ]](/icons/layout.gif) | shsets-jlp.pdf | 2025-04-20 08:41 | 429K | |
![[ ]](/icons/a.gif) | shsets-jlp.ps | 2000-03-01 18:37 | 509K | |
![[ ]](/icons/layout.gif) | shsets-jlp_bitmap.pdf | 2002-12-18 21:21 | 549K | |
![[ ]](/icons/layout.gif) | shsets-sas.pdf | 2025-04-20 08:41 | 251K | |
![[ ]](/icons/a.gif) | shsets-sas.ps | 2000-03-01 18:44 | 229K | |
![[ ]](/icons/layout.gif) | shsets-sas_bitmap.pdf | 2002-12-18 21:21 | 248K | |
![[ ]](/icons/layout.gif) | simul-backpar-tr.pdf | 2011-03-04 18:16 | 198K | |
![[ ]](/icons/layout.gif) | sinsi-jlp.pdf | 2006-01-30 16:45 | 419K | |
![[ ]](/icons/a.gif) | sinsi-jlp.ps | 2006-01-30 16:45 | 414K | |
![[ ]](/icons/layout.gif) | sized-types-iclp2013.pdf | 2013-06-23 22:51 | 440K | |
![[ ]](/icons/layout.gif) | slicing-cost-plid07.pdf | 2008-05-27 13:21 | 39K | |
![[ ]](/icons/layout.gif) | slicing-cost-sac08.pdf | 2008-03-12 23:36 | 244K | |
![[ ]](/icons/layout.gif) | smc04-ai-safety.pdf | 2005-12-09 10:53 | 115K | |
![[ ]](/icons/layout.gif) | sonda04-ai-safety.pdf | 2005-12-09 10:55 | 97K | |
![[ ]](/icons/layout.gif) | soza06:probabilistic_analysis.pdf | 2010-11-18 11:55 | 116K | |
![[ ]](/icons/layout.gif) | spec-delay-poster.pdf | 2025-04-20 08:41 | 97K | |
![[ ]](/icons/a.gif) | spec-delay-poster.ps | 1999-12-10 20:21 | 74K | |
![[ ]](/icons/layout.gif) | spec-delay-poster_bitmap.pdf | 2002-12-18 21:21 | 99K | |
![[ ]](/icons/layout.gif) | spec-dyn-sch-iclp97.pdf | 2025-04-20 08:41 | 311K | |
![[ ]](/icons/a.gif) | spec-dyn-sch-iclp97.ps | 1999-12-10 20:15 | 275K | |
![[ ]](/icons/layout.gif) | spec-dyn-sch-iclp97_bitmap.pdf | 2002-12-18 21:21 | 310K | |
![[ ]](/icons/layout.gif) | spec-inv-pepm03.pdf | 2003-06-03 19:06 | 202K | |
![[ ]](/icons/a.gif) | spec-inv-pepm03.ps | 2003-06-03 19:07 | 411K | |
![[ ]](/icons/layout.gif) | spec-jlp.pdf | 2025-04-20 08:41 | 411K | |
![[ ]](/icons/a.gif) | spec-jlp.ps | 1999-08-27 17:26 | 442K | |
![[ ]](/icons/layout.gif) | spec-jlp_bitmap.pdf | 2002-12-18 21:21 | 443K | |
![[ ]](/icons/layout.gif) | spec-pepm.pdf | 2025-04-20 08:41 | 241K | |
![[ ]](/icons/a.gif) | spec-pepm.ps | 1999-12-10 20:33 | 239K | |
![[ ]](/icons/layout.gif) | spec-pepm_bitmap.pdf | 2002-12-18 21:21 | 243K | |
![[ ]](/icons/layout.gif) | staticprofiling-flops.pdf | 2016-07-19 03:53 | 388K | |
![[ ]](/icons/layout.gif) | tagschemes-ppdp08.pdf | 2008-07-31 18:13 | 219K | |
![[ ]](/icons/layout.gif) | tamarit15:padl-haskell_transformation.pdf | 2015-05-10 02:21 | 110K | |
![[ ]](/icons/layout.gif) | tbhe-ipl09.pdf | 2009-07-21 01:02 | 222K | |
![[ ]](/icons/layout.gif) | tbhe-lopstr07.pdf | 2008-01-13 23:51 | 584K | |
![[ ]](/icons/layout.gif) | tclp-plai-iclp19.pdf | 2019-07-31 23:11 | 360K | |
![[DIR]](/icons/folder.gif) | tclp-plai-iclp2019/ | 2019-05-23 15:02 | - | |
![[ ]](/icons/layout.gif) | tdg-iclp10.pdf | 2010-05-06 13:02 | 330K | |
![[ ]](/icons/layout.gif) | tdg-lopstr08.pdf | 2009-04-01 12:10 | 501K | |
![[ ]](/icons/layout.gif) | tdg-lopstr10-lncs.pdf | 2011-05-25 11:53 | 359K | |
![[ ]](/icons/layout.gif) | tdg-lopstr10.pdf | 2010-05-17 17:23 | 259K | |
![[ ]](/icons/layout.gif) | tdg-lopstr11-lncs.pdf | 2012-02-21 15:12 | 433K | |
![[ ]](/icons/layout.gif) | tdg-pepm10.pdf | 2010-02-24 01:56 | 99K | |
![[ ]](/icons/layout.gif) | tdg-prolog-wlpe08.pdf | 2009-07-09 15:40 | 250K | |
![[ ]](/icons/layout.gif) | tdvsbu-jlp.pdf | 2025-04-20 08:41 | 269K | |
![[ ]](/icons/a.gif) | tdvsbu-jlp.ps | 2000-02-29 17:49 | 240K | |
![[ ]](/icons/layout.gif) | tdvsbu-jlp_bitmap.pdf | 2002-12-18 21:21 | 278K | |
![[DIR]](/icons/folder.gif) | teaching-w-fair-search-rule/ | 2024-12-17 11:49 | - | |
![[ ]](/icons/layout.gif) | teresa-ms.pdf | 2011-05-30 20:21 | 561K | |
![[ ]](/icons/layout.gif) | termhide-iclp2017-tc.pdf | 2017-10-24 17:09 | 339K | |
![[ ]](/icons/layout.gif) | termhide-padl2018.pdf | 2017-10-16 19:21 | 666K | |
![[ ]](/icons/layout.gif) | termhide-tr.pdf | 2017-07-27 16:27 | 2.1M | |
![[ ]](/icons/layout.gif) | termsize-iclp95.pdf | 2003-01-10 13:03 | 194K | |
![[ ]](/icons/a.gif) | termsize-iclp95.ps | 2002-11-28 10:59 | 287K | |
![[ ]](/icons/layout.gif) | tesis-edison.pdf | 2010-12-18 11:35 | 1.2M | |
![[ ]](/icons/layout.gif) | tesis-pedro.pdf | 2003-01-08 18:47 | 668K | |
![[DIR]](/icons/folder.gif) | test.bak/ | 2002-12-18 21:32 | - | |
![[ ]](/icons/layout.gif) | testchecks-iclp09.pdf | 2009-05-02 08:18 | 213K | |
![[ ]](/icons/layout.gif) | testchecks-tr.pdf | 2009-03-11 16:30 | 258K | |
![[ ]](/icons/layout.gif) | testgen-lopstr19-post.pdf | 2020-04-08 09:04 | 429K | |
![[ ]](/icons/layout.gif) | testgen-lopstr19-pre.pdf | 2019-09-01 17:17 | 393K | |
![[ ]](/icons/layout.gif) | testing-ana-truths-post.pdf | 2020-12-11 19:25 | 495K | |
![[ ]](/icons/layout.gif) | testing-ana-truths-pre.pdf | 2020-08-16 21:21 | 493K | |
![[ ]](/icons/layout.gif) | tplp-unfolding.pdf | 2009-11-20 16:15 | 366K | |
![[DIR]](/icons/folder.gif) | tplp2018-tclp/ | 2018-04-25 16:18 | - | |
![[DIR]](/icons/folder.gif) | tplp2020-atclp/ | 2020-01-27 18:28 | - | |
![[ ]](/icons/layout.gif) | trueconc-alp.pdf | 2016-05-29 21:03 | 230K | |
![[ ]](/icons/layout.gif) | trueconc-journal.pdf | 2016-05-29 19:31 | 2.3M | |
![[ ]](/icons/layout.gif) | trueconc-ppcp.pdf | 2016-05-29 20:41 | 175K | |
![[ ]](/icons/layout.gif) | tutorial-cmpp00-abstract.pdf | 2025-04-20 08:41 | 70K | |
![[ ]](/icons/a.gif) | tutorial-cmpp00-abstract.ps | 2002-05-07 18:09 | 48K | |
![[ ]](/icons/layout.gif) | tutorial-cmpp00-abstract_bitmap.pdf | 2002-12-18 21:21 | 69K | |
![[ ]](/icons/layout.gif) | tutorial-europar04.pdf | 2004-06-15 16:39 | 151K | |
![[ ]](/icons/layout.gif) | tutorial-europar97.pdf | 2023-04-25 21:16 | 234K | |
![[ ]](/icons/a.gif) | tutorial-europar97.ps | 1997-06-13 13:07 | 213K | |
![[ ]](/icons/layout.gif) | tutorial-pcjspecial.pdf | 2023-04-25 21:17 | 291K | |
![[ ]](/icons/a.gif) | tutorial-pcjspecial.ps | 2000-05-28 19:27 | 346K | |
![[ ]](/icons/layout.gif) | type-domains-lopstr05.pdf | 2005-12-14 12:38 | 168K | |
![[ ]](/icons/layout.gif) | typed-emb-lopstr07.pdf | 2007-10-10 12:38 | 186K | |
![[ ]](/icons/layout.gif) | unrestricted-iap-tr.pdf | 2007-12-20 02:03 | 392K | |
![[ ]](/icons/layout.gif) | uudg-annotators-lopstr2007.pdf | 2008-01-14 16:48 | 558K | |
![[ ]](/icons/layout.gif) | uudg-annotators-tr-unm.pdf | 2007-12-19 22:01 | 240K | |
![[ ]](/icons/layout.gif) | uudg-annotators-tr.pdf | 2007-07-04 21:41 | 201K | |
![[ ]](/icons/layout.gif) | victor-perez:bsc.pdf | 2020-08-16 21:01 | 593K | |
![[ ]](/icons/layout.gif) | victor-perez:msc.pdf | 2021-08-08 15:53 | 463K | |
![[ ]](/icons/layout.gif) | vifid-trifid-disciplbook.pdf | 2025-04-20 08:41 | 247K | |
![[ ]](/icons/a.gif) | vifid-trifid-disciplbook.ps | 2000-03-24 21:00 | 3.2M | |
![[ ]](/icons/layout.gif) | vifid-trifid-disciplbook_bitmap.pdf | 2002-12-18 21:21 | 388K | |
![[ ]](/icons/layout.gif) | vifid-user-manual.pdf | 2025-04-20 08:41 | 310K | |
![[ ]](/icons/a.gif) | vifid-user-manual.ps | 1999-08-31 10:50 | 1.4M | |
![[ ]](/icons/layout.gif) | vifid-user-manual_bitmap.pdf | 2002-12-18 21:22 | 741K | |
![[ ]](/icons/layout.gif) | vigueras15-rule-based.pdf | 2016-04-01 18:24 | 231K | |
![[ ]](/icons/layout.gif) | visandor-iclp93.pdf | 2003-02-06 15:36 | 280K | |
![[ ]](/icons/layout.gif) | visualization-informatique.pdf | 2003-02-06 11:06 | 257K | |
![[ ]](/icons/layout.gif) | wil04-backwards.pdf | 2005-12-09 11:12 | 158K | |
![[ ]](/icons/layout.gif) | zemni10:soft_const_sla_qos.pdf | 2010-09-28 15:14 | 272K | |
|