Index of /~bpientka/papers

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 98constructive-tp.ps    15-Aug-2003 17:09  448K  
 Dunfield08_case-anal..> 10-Aug-2010 08:35  269K  
 KI97_final.ps           15-Aug-2003 17:09  389K  
 KreitzPientka.ps        15-Aug-2003 17:09  440K  
 KreitzPientka00.ps      15-Aug-2003 17:09  415K  
 LFMTP-preproceedings..> 14-Dec-2006 11:06  1.4M  
 Pientka-Kreitz.ps       15-Aug-2003 17:09  217K  
 PientkaCV.pdf           15-Aug-2003 17:09   68K  
 PientkaResearch.pdf     15-Aug-2003 17:09   76K  
 PientkaTeaching.pdf     15-Aug-2003 17:09   70K  
 ada.ps                  15-Aug-2003 17:09   62K  
 alp-aug03.ps            15-Aug-2003 17:09  109K  
 appendix.pdf            08-Apr-2010 15:51   94K  
 assign.ps               15-Aug-2003 17:09  209K  
 beluga-overview.pdf     05-Apr-2011 22:45  265K  
 beluga.pdf              10-Apr-2008 14:01  260K  
 beluga.ps               10-Apr-2008 14:01  493K  
 bimodal.pdf             23-Mar-2007 21:46  168K  
 casehoas.pdf            28-Feb-2008 15:25  246K  
 dephoas.pdf             28-Feb-2008 15:25  185K  
 eftab-long.pdf          09-Mar-2005 10:15  216K  
 eftab-long.ps           09-Mar-2005 10:15  275K  
 essay.ps                15-Aug-2003 17:09   35K  
 exsub.pdf               08-Apr-2010 15:51  197K  
 fi.ps                   15-Aug-2003 17:09  217K  
 flops.pdf               24-Jan-2010 10:17  156K  
 grace.ps                15-Aug-2003 17:09   87K  
 heilala-pientka-cade..> 27-Jul-2007 14:54  178K  
 hoasfun-short.pdf       05-Nov-2007 23:00  233K  
 hoasfun-short.ps        05-Nov-2007 23:00  311K  
 iclp-slides.pdf         15-Aug-2003 17:09  249K  
 iclp-tutorial.pdf       27-Sep-2006 13:42  227K  
 iclp02.pdf              15-Aug-2003 17:09  263K  
 iclp06-tutorial.pdf     17-May-2006 13:58  107K  
 iclp06-tutorial.ps      17-May-2006 13:58  190K  
 iclp06.pdf              27-Sep-2006 13:43  107K  
 iclp06.ps               27-Sep-2006 13:43  190K  
 ijcar01.pdf             15-Aug-2003 17:09  247K  
 index-chap.ps           04-Sep-2003 18:42  368K  
 index.ps                07-Sep-2003 20:42  250K  
 index.ps-2              05-Aug-2008 13:46  257K  
 iwwc.ps                 15-Aug-2003 17:09   23K  
 lfm02-slides.pdf        15-Aug-2003 17:09  217K  
 lfm02.ps                15-Aug-2003 17:09  246K  
 lfmtp07.pdf             27-Jul-2007 14:56  168K  
 lfmtp10.pdf             13-May-2010 10:46  173K  
 lfmtp10/                13-May-2010 10:46    -   
 long-index.pdf          09-Aug-2007 11:48  292K  
 long-index.ps           09-Aug-2007 11:48  694K  
 long-index.ps-2         09-Aug-2007 11:39  721K  
 main.ps                 15-Aug-2003 17:09  150K  
 merlin.ps               15-Aug-2003 17:09  154K  
 midterm.ps              15-Aug-2003 17:09   73K  
 modal-matrix.pdf        09-Apr-2008 13:51  166K  
 modalf.ps               15-Aug-2003 17:09  149K  
 multilevelcmtt-long.pdf 04-Oct-2011 09:27  373K  
 multilevelcmtt.pdf      04-Oct-2011 09:26  319K  
 oracle-iclp.pdf         04-Aug-2005 11:32  150K  
 oracle-iclp.ps          04-Aug-2005 11:32  264K  
 pearl.pdf               06-Jun-2007 23:06  141K  
 pearl.ps                05-Aug-2008 13:40  1.0M  
 pearl.ps-2              05-Aug-2008 13:40  1.0M  
 plpv-final.pdf          27-Sep-2006 13:40  188K  
 plpv-final.ps           27-Sep-2006 13:40  406K  
 plpv04-ferreira.pdf     27-Nov-2012 14:27  322K  
 popl170-abel.pdf        27-Nov-2012 14:31  220K  
 ppdp-pientka.pdf        29-May-2008 09:48  269K  
 ppdp-pientka.ps         29-May-2008 09:48  486K  
 prog-proofs.pdf         14-Sep-2010 15:48  196K  
 prop1.ps                15-Aug-2003 17:09   63K  
 prop2.ps                15-Aug-2003 17:09   62K  
 proposal.pdf            15-Aug-2003 17:09  316K  
 proposal.ps             15-Aug-2003 17:09  323K  
 recon-jfp.pdf           02-Oct-2012 10:33  243K  
 recon.pdf               10-Aug-2010 08:40  297K  
 recursive-types.pdf     04-Oct-2011 09:29  335K  
 red-elim.pdf            06-Mar-2006 10:57  209K  
 red-elim.ps             05-Aug-2008 13:44  877K  
 red-elim.ps-2           05-Aug-2008 13:44  884K  
 sipp_KI97.ps            15-Aug-2003 17:09  249K  
 slides4.ps              15-Aug-2003 17:09   64K  
 studienarbeit.ps        15-Aug-2003 17:09  225K  
 system-description.pdf  08-Apr-2010 15:51  139K  
 tabexp.ps               15-Aug-2003 17:09  246K  
 talk.pdf                15-Aug-2003 17:09  287K  
 talk2.pdf               15-Aug-2003 17:09  470K  
 talk3.pdf               15-Aug-2003 17:09  453K  
 teaching-bp.pdf         15-Aug-2003 17:09   72K  
 termred.pdf             25-Feb-2005 18:42  286K  
 termred.ps              25-Feb-2005 18:42  496K  
 thesis-slides.pdf       03-Sep-2003 17:07  216K  
 thesis-summary.pdf      26-Aug-2003 17:23   78K  
 thesis-summary.ps       26-Aug-2003 17:24  131K  
 thesis.ps               16-Dec-2003 10:36  1.4M  
 thesis.ps.gz            16-Dec-2003 10:35  449K  
 tocl-hoindexing.pdf     08-Nov-2008 20:44  454K  
 tocl-hoindexing.ps      08-Nov-2008 20:45  854K  
 tocl.pdf                22-Sep-2005 09:01  411K  
 tocl.ps                 22-Sep-2005 09:01  774K  
 tocl284-accepted.pdf    23-Mar-2007 21:53  413K  
 tocl284-accepted.ps     05-Aug-2008 13:37  2.5M  
 tocl284-accepted.ps-2   05-Aug-2008 13:37  2.6M  
 tocl355/                11-Nov-2008 17:17    -   
 unif-sigma-final.pdf    05-Apr-2011 22:45  242K  
 unif-sigma-long.pdf     05-Apr-2011 22:45  296K  
 uniftab.ps              15-Aug-2003 17:09  244K  
 vtr.ps                  22-Jun-2004 12:56  610K  
 worlds-rev.pdf          08-Apr-2010 15:51  214K  
 worlds.pdf              24-Jan-2010 10:17  221K  
 ws-cade00.ps            15-Aug-2003 17:09  117K