Index of /dts/pub

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