Index of /dts/pub

Icon  Name                        Last modified      Size  Description
[DIR] CoFI/                       2000-09-28 12:43    -   
[   ] ECS-LFCS-88-64.pdf          2018-07-17 16:09  8.7M  
[TXT] SannellaDT-bib.html         2010-09-27 08:52  103K  
[TXT] SannellaDT.bib              2023-05-08 18:31  110K  
[   ] SannellaDT.bib-old          2009-11-04 16:30   94K  
[TXT] SannellaDT.html             2023-05-08 18:35  123K  
[   ] SannellaDT.html-old         2009-09-10 10:17   91K  
[   ] SannellaDT.html-tail        2010-05-27 09:19   16   
[   ] SannellaDT.html-top         2010-05-27 09:30  3.9K  
[TXT] SannellaDT_bib.html         2023-05-08 18:35  128K  
[   ] US-letter                   2004-05-13 12:31  2.0K  
[   ] abstract-eml.pdf            2010-06-07 11:58  313K  
[   ] abstract-eml.ps             2001-04-09 02:10  304K  
[   ] agusti.pdf                  2013-04-17 15:08  182K  
[   ] amast2002.dvi               2002-06-06 01:02   54K  
[   ] amast2002.pdf               2002-06-06 01:03  161K  
[   ] amast2002.ps                2002-06-06 11:00  327K  
[   ] apal.pdf                    2010-06-07 11:48  426K  
[   ] apal.ps                     1996-08-23 14:59  439K  
[   ] arch-test.pdf               2002-01-23 01:41  334K  
[   ] archs-amast.dvi             1998-10-29 12:48   72K  
[   ] archs-amast.pdf             1998-10-29 12:50  185K  
[   ] archs-amast.ps              1998-10-29 12:50  150K  
[   ] archs-report.dvi            1999-04-27 17:19  120K  
[   ] archs-report.pdf            1999-04-30 09:55  261K  
[   ] archs-report.ps             1999-04-27 17:20  223K  
[   ] archs.dvi                   2001-09-19 09:26  122K  
[   ] archs.pdf                   2001-09-19 09:26  277K  
[   ] archs.ps                    2001-09-19 09:26  459K  
[   ] asl.pdf                     2008-08-20 17:06  1.0M  
[   ] avocs2015.pdf               2015-11-18 21:50  429K  
[   ] bcs.pdf                     2010-06-07 11:55  267K  
[   ] bcs.ps                      2001-04-09 02:01  231K  
[   ] beh-equiv-tcs.dvi           1996-07-23 14:44  202K  
[   ] beh-equiv-tcs.pdf           1997-05-15 14:48  389K  
[   ] beh-equiv-tcs.ps            1996-07-23 14:44  432K  
[   ] beh-equiv.dvi               2003-06-18 13:01  146K  
[   ] beh-equiv.pdf               1997-05-15 14:51  323K  
[   ] beh-equiv.ps                2003-06-18 13:00  338K  
[   ] bib2html878c5a              2016-08-10 20:04    0   
[   ] bib2html878c5a.aux          2016-08-10 20:04   58   
[   ] bib2html878c5a.bbl          2016-08-10 20:04   28K  
[   ] bib2html878c5a.blg          2016-08-10 20:04  1.1K  
[   ] bib2htmlaedd17              2022-05-04 10:29    0   
[   ] bib2htmlaedd17.aux          2022-05-04 10:29   58   
[   ] bib2htmlaedd17.bbl          2022-05-04 10:29   30K  
[   ] bib2htmlaedd17.blg          2022-05-04 10:29  1.1K  
[   ] bkb-festschrift.pdf         2015-08-18 14:05  273K  
[   ] burstall.dvi                2002-09-30 13:46   43K  
[   ] burstall.pdf                2002-09-30 13:48   92K  
[   ] burstall.ps                 2002-09-30 13:46  171K  
[   ] caap83.pdf                  2008-08-20 17:13  942K  
[   ] cai.dvi                     2003-09-04 17:05  149K  
[   ] cai.pdf                     2003-09-04 17:06  346K  
[   ] cai.ps                      2003-09-04 17:05  540K  
[   ] casl-foundations.ps         2003-11-27 10:22  394K  
[   ] casl-obs.dvi                2007-06-18 15:47  238K  
[   ] casl-obs.pdf                2007-06-15 17:36  439K  
[   ] casl-obs.ps                 2007-06-18 15:47  747K  
[   ] casl-refinement-scp.pdf     2017-04-18 08:17  485K  
[   ] casl-refinement.dvi         2004-08-30 10:37   93K  
[   ] casl-refinement.pdf         2004-08-30 10:37  285K  
[   ] casl-refinement.ps          2004-08-30 10:40  290K  
[   ] casl.dvi                    2001-08-27 12:49  172K  
[   ] casl.pdf                    2001-08-27 12:52  316K  
[   ] casl.ps                     2001-08-27 12:51  506K  
[   ] cassis2004.dvi              2004-10-05 01:46  127K  
[   ] cassis2004.pdf              2004-10-05 01:46  327K  
[   ] cassis2004.ps               2004-10-05 01:49  283K  
[   ] clear-semantics.pdf         2008-08-20 17:26  1.5M  
[   ] compass-mailing-list        1995-10-27 14:49  508   
[TXT] compass.tex                 1994-10-11 09:31  133K  
[   ] completeness.pdf            2010-06-07 11:41  2.9M  
[   ] computing-surveys-final.pdf 2008-04-28 09:18  120K  
[   ] computing-surveys.dvi       1999-01-18 14:24   22K  
[   ] computing-surveys.pdf       2000-06-29 12:17  120K  
[   ] computing-surveys.ps        1999-01-18 14:26   62K  
[   ] concepts.dvi                1996-08-12 12:49  180K  
[   ] concepts.pdf                1998-05-07 14:16  318K  
[   ] concepts.ps                 1998-05-07 14:05  335K  
[   ] ehrig-memorial.pdf          2017-09-01 10:45  346K  
[   ] eml-final.dvi               2001-06-07 17:20  568K  
[   ] eml-final.pdf               2001-06-07 17:13  680K  
[   ] eml-final.ps                2001-06-07 17:03  1.1M  
[   ] eml-methodology.pdf         2010-06-07 11:56  574K  
[   ] eml-methodology.ps          1996-08-23 14:58  631K  
[   ] eml-overview.pdf            2010-06-07 11:55  287K  
[   ] eml-overview.ps             1996-08-23 14:59  286K  
[   ] eml-popl.pdf                2007-05-24 14:05  1.0M  
[   ] eml.dvi                     2003-06-18 13:02  551K  
[   ] eml.pdf                     2010-06-07 11:51  826K  
[   ] eml.ps                      2003-06-18 13:02  932K  
[   ] eml.ps.gz                   1994-08-23 12:29  278K  
[   ] futatsugi-festschrift.pdf   2013-11-24 20:46  477K  
[   ] gentle-conf.pdf             2010-06-07 11:50  316K  
[   ] gentle-conf.ps              1994-03-08 14:17  266K  
[   ] gentle-tcs.dvi              1995-10-16 14:48  159K  
[   ] gentle-tcs.pdf              1997-05-15 15:05  314K  
[   ] gentle-tcs.ps               1995-10-16 14:51  362K  
[   ] gentle.dvi                  2003-06-18 13:05  148K  
[   ] gentle.pdf                  1997-05-15 15:07  294K  
[   ] gentle.ps                   2003-06-18 13:04  339K  
[   ] global-dev.dvi              2002-05-29 11:57  118K  
[   ] global-dev.pdf              2002-05-29 12:01  261K  
[   ] global-dev.ps               2002-05-29 11:59  489K  
[   ] goguen-festschrift.pdf      2006-03-25 15:02  194K  
[   ] goguen-festschrift.ps       2006-03-25 15:02  249K  
[   ] hope-et-ml.pdf              2023-05-08 18:28  4.5M  
[   ] hope.pdf                    2002-06-07 15:42  699K  
[   ] icalp82.pdf                 2008-08-20 17:17  1.0M  
[   ] impl-conf.pdf               2010-06-07 11:22  1.3M  
[   ] impl.pdf                    2010-06-07 11:23  418K  
[   ] impl.ps                     2003-06-18 13:07  474K  
[   ] inst-asl-conf.pdf           2008-08-20 17:32  1.5M  
[   ] inst-asl.pdf                2008-08-20 17:36  2.8M  
[   ] interfaces.pdf              2009-11-04 16:28  149K  
[   ] interfaces.ps               1996-08-23 14:58  123K  
[   ] jlp.pdf                     2013-04-25 09:13  1.9M  
[   ] laxlogrel.dvi               2000-04-13 13:43   75K  
[   ] laxlogrel.pdf               2000-04-13 13:45  513K  
[   ] laxlogrel.ps                2000-08-11 16:33  175K  
[   ] lf-conf.pdf                 2010-06-07 11:39  1.0M  
[   ] logic-rep-in-LF.pdf         2023-05-08 18:29  1.5M  
[   ] lopstr99.dvi                2000-03-01 10:17   37K  
[   ] lopstr99.pdf                2000-03-01 10:18  137K  
[   ] lopstr99.ps                 2000-03-01 10:17  149K  
[   ] mfcs2002.dvi                2002-05-18 16:57   57K  
[   ] mfcs2002.pdf                2002-05-18 16:59  180K  
[   ] mfcs2002.ps                 2002-05-18 16:56  356K  
[   ] mfcs2003.dvi                2003-06-05 07:00  110K  
[   ] mfcs2003.pdf                2003-06-05 07:01  309K  
[   ] mfcs2003.ps                 2003-06-05 07:01  499K  
[   ] mfcs96.dvi                  1996-05-09 17:00  105K  
[   ] mfcs96.pdf                  1997-05-15 15:09  257K  
[   ] mfcs96.ps                   1996-08-23 14:58  241K  
[   ] ml-spec.pdf                 2010-06-07 11:57  168K  
[   ] ml-spec.ps                  2003-06-18 13:08  151K  
[   ] mod-prolog.tar.gz           1992-06-17 10:43  746K  
[   ] montanari-festschrift.pdf   2008-04-25 08:41  278K  
[   ] montanari-festschrift.ps    2008-04-25 08:42  471K  
[   ] monterey.dvi                2003-09-08 13:06   68K  
[   ] monterey.pdf                2003-09-08 13:06  222K  
[   ] monterey.ps                 2003-09-08 13:07  378K  
[   ] mrg-summary.pdf             2007-06-18 15:53  121K  
[   ] mtf.pdf                     2010-06-07 11:53  228K  
[   ] mtf.ps                      2003-06-18 13:09  220K  
[   ] mxh-lego.tar.gz             1992-08-05 09:50   19K  
[   ] obs-equiv-conf.pdf          2008-08-20 17:43  1.1M  
[   ] obs-equiv.pdf               2008-08-20 17:44  1.8M  
[   ] param.pdf                   2010-06-07 11:53  434K  
[   ] param.ps                    1996-08-23 14:59  452K  
[TXT] param.txt                   2011-05-29 15:31  126K  
[   ] prelim.dvi                  1999-03-15 00:08   93K  
[   ] prelim.pdf                  1999-03-17 12:08  215K  
[   ] prelim.ps                   1999-03-17 12:07  197K  
[   ] prelogrel-long.dvi          2002-08-15 13:36  134K  
[   ] prelogrel-long.pdf          2002-08-15 13:44  294K  
[   ] prelogrel-long.ps           2002-08-15 13:41  498K  
[   ] prelogrel-report.dvi        2003-06-18 13:10   76K  
[   ] prelogrel-report.pdf        1999-04-23 12:14  196K  
[   ] prelogrel-report.ps         1999-04-23 12:14  169K  
[   ] prelogrel.dvi               1999-07-09 16:52   69K  
[   ] prelogrel.pdf               1999-07-09 16:53  193K  
[   ] prelogrel.ps                1999-07-09 16:52  155K  
[   ] problems.pdf                2010-06-07 11:59   88K  
[   ] problems.ps                 1996-08-23 15:00   82K  
[   ] propsem.pdf                 2013-09-22 14:27  310K  
[   ] psi.dvi                     1999-08-16 16:59   34K  
[   ] psi.pdf                     1999-08-16 17:03  122K  
[   ] psi.ps                      1999-08-16 17:03   91K  
[   ] refinement.dvi              2000-01-12 15:27   77K  
[   ] refinement.pdf              2000-01-12 15:29  207K  
[   ] refinement.ps               2000-01-12 15:27  385K  
[   ] refinespec.pdf              2017-08-22 14:26  110K  
[   ] reflections.dvi             1998-01-13 16:39   65K  
[   ] reflections.pdf             1998-01-13 16:43  173K  
[   ] reflections.ps              1998-01-13 16:42  153K  
[   ] spec-formalism.pdf          2010-06-07 11:54  268K  
[   ] spec-formalism.ps           1996-08-23 15:00  272K  
[   ] spec-lang.dvi               1999-02-25 14:38  131K  
[   ] spec-lang.pdf               1999-02-25 14:42  283K  
[   ] spec-lang.ps                1999-02-25 14:41  228K  
[   ] spectral.pdf                1997-05-16 10:23   71K  
[   ] spectral.ps                 2003-06-18 13:12  268K  
[   ] structspec.pdf              2017-08-22 14:25  108K  
[   ] survey.pdf                  2010-06-07 11:53  244K  
[   ] survey.ps                   2003-06-18 13:13  240K  
[   ] tapsoft97.dvi               1997-01-20 13:24   20K  
[   ] tapsoft97.pdf               1997-05-15 14:35   69K  
[   ] tapsoft97.ps                1997-01-20 13:25   64K  
[   ] tgc2010.pdf                 2010-04-21 01:02  255K  
[   ] thoughts.pdf                2010-06-07 12:01  162K  
[   ] thoughts.ps                 2003-06-18 13:14  143K  
[   ] wadt2001.pdf                2001-10-12 10:24  175K  
[   ] wadt2001.ps                 2001-10-12 10:07  388K  
[   ] way2019.pdf                 2022-05-04 10:00  303K  
[   ] wirsing-festschrift.pdf     2014-11-17 16:50  254K
Apache/2.4 Server at homepages.inf.ed.ac.uk Port 443