| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| AMNSurvey1004.pdf | 02-Feb-2007 11:25 | 217K | ||
| AMikAU11.pdf | 22-May-2011 13:28 | 291K | ||
| AMikNTCS11.pdf | 18-Oct-2011 23:43 | 503K | ||
| AndrekaNemetiWuthrich07.pdf | 27-Dec-2007 18:12 | 181K | ||
| Announcements.html | 07-Feb-1997 14:16 | 97 | ||
| Contents.html | 30-Oct-2011 23:33 | 78K | ||
| Contents.html.save | 09-Sep-2001 18:14 | 11K | ||
| ES-2007.pdf | 17-Nov-2008 17:06 | 254K | ||
| HeartAMN.pdf | 29-Dec-2007 19:03 | 582K | ||
| Hogarththesis.ps.gz | 15-Mar-2004 21:05 | 375K | ||
| LNPartI.pdf | 08-Feb-2005 15:52 | 2.1M | ||
| LNPartII.pdf | 08-Feb-2005 15:57 | 3.3M | ||
| LNPartIII.pdf | 08-Feb-2005 15:59 | 2.7M | ||
| LNPartIV.pdf | 08-Feb-2005 16:01 | 621K | ||
| LNPartV1.pdf | 08-Feb-2005 16:03 | 1.8M | ||
| LNPartV2.pdf | 08-Feb-2005 16:04 | 1.7M | ||
| LNPartV3.pdf | 08-Feb-2005 16:06 | 1.9M | ||
| LNPartV4.pdf | 08-Feb-2005 16:08 | 1.2M | ||
| LNPartV5.pdf | 08-Feb-2005 16:09 | 2.2M | ||
| LNPartV6.pdf | 08-Feb-2005 16:11 | 3.9M | ||
| LNPartV7.pdf | 08-Feb-2005 16:12 | 1.5M | ||
| LNPartVI.pdf | 08-Feb-2005 16:13 | 335K | ||
| LNPartVII.pdf | 08-Feb-2005 16:15 | 470K | ||
| LapomDf2011.pdf | 02-Dec-2011 15:18 | 613K | ||
| LapomDf2011b.pdf | 09-Dec-2011 15:23 | 361K | ||
| Links.html | 14-Apr-1997 13:58 | 774 | ||
| Logicofspacetime.pdf | 01-Feb-2007 19:50 | 1.1M | ||
| Omit040922.ps | 22-Sep-2004 12:31 | 471K | ||
| OmitANSfinal.pdf | 24-Jun-2007 16:48 | 308K | ||
| PartI.pdf | 16-Sep-2002 16:19 | 2.1M | ||
| PartI.ps | 16-Sep-2002 16:17 | 1.6M | ||
| PartI.ps.gz | 16-Sep-2002 15:56 | 542K | ||
| PartII.ps.gz | 16-Sep-2002 15:40 | 698K | ||
| PartIII.ps.gz | 16-Sep-2002 15:42 | 749K | ||
| PartIV.ps.gz | 16-Sep-2002 15:41 | 228K | ||
| PartV1.ps.gz | 16-Sep-2002 15:44 | 730K | ||
| PartV2.ps.gz | 16-Sep-2002 15:45 | 632K | ||
| PartV3.ps.gz | 16-Sep-2002 15:45 | 787K | ||
| PartV4.ps.gz | 16-Sep-2002 15:45 | 423K | ||
| PartV5.ps.gz | 16-Sep-2002 15:45 | 627K | ||
| PartV6.ps.gz | 16-Sep-2002 15:45 | 1.2M | ||
| PartV7.ps.gz | 16-Sep-2002 15:43 | 475K | ||
| PartVI.ps.gz | 16-Sep-2002 15:41 | 153K | ||
| PartVII.ps.gz | 16-Sep-2002 15:41 | 172K | ||
| RelativityandLogic/ | 05-Oct-2009 12:08 | - | ||
| WKU-amnsz.pdf | 16-Oct-2009 14:06 | 190K | ||
| aHodkN.abstract | 14-Feb-1997 19:04 | 464 | ||
| aHodkN.dvi | 14-Feb-1997 19:29 | 196K | ||
| aHodkN.html | 05-Aug-2003 21:22 | 807 | ||
| aHodkN.pdf | 05-Aug-2003 21:07 | 332K | ||
| aHodkN.ps | 14-Feb-1997 19:29 | 375K | ||
| alglog-compressed/ | 09-Aug-1997 15:15 | - | ||
| alglog/ | 18-Oct-2011 23:46 | - | ||
| alglogrecentwork.htm | 23-Jul-2008 22:48 | 7.6K | ||
| amalgpol.abstract | 06-Sep-1999 17:34 | 678 | ||
| amalgpol.dvi | 06-Sep-1999 17:34 | 146K | ||
| amalgpol.html | 06-Sep-1999 17:40 | 969 | ||
| amalgpol.ps | 06-Sep-1999 20:46 | 391K | ||
| amn-definote.pdf | 01-Feb-2007 22:53 | 108K | ||
| amn-definote.ps | 22-Mar-2004 15:00 | 140K | ||
| ancie06abstractfinal.pdf | 01-Feb-2007 23:45 | 642K | ||
| and-mik-au.pdf | 07-Mar-2010 15:18 | 241K | ||
| antcs06uj.pdf | 23-Jan-2007 15:36 | 587K | ||
| batyu.tgz | 06-Sep-1999 19:50 | 0 | ||
| beyondturing.pdf | 23-Jan-2007 15:35 | 423K | ||
| beyondturingrecentwork.htm | 23-Jul-2008 22:48 | 5.4K | ||
| complex.abstract | 07-Feb-1997 20:56 | 2.0K | ||
| complex.dvi | 30-Sep-1996 16:36 | 391K | ||
| complex.html | 05-Aug-2003 21:19 | 2.5K | ||
| complex.html.save | 30-Sep-1996 18:03 | 2.2K | ||
| complex1.dvi | 14-Apr-1997 14:03 | 302K | ||
| complex1.pdf | 05-Aug-2003 21:05 | 538K | ||
| complex1.ps | 14-Apr-1997 14:04 | 627K | ||
| complex2.dvi | 14-Apr-1997 14:03 | 88K | ||
| complex2.pdf | 05-Aug-2003 21:05 | 243K | ||
| complex2.ps | 14-Apr-1997 14:04 | 254K | ||
| davidlh05.pdf | 03-Feb-2006 15:07 | 3.7M | ||
| defi.ps | 13-Jul-2000 14:15 | 429K | ||
| diszi.pdf | 31-Oct-2011 10:31 | 3.5M | ||
| diszi0226.pdf.gz | 26-Oct-2004 23:09 | 8.8M | ||
| diszi0226.ps.gz | 23-Dec-2002 18:06 | 5.5M | ||
| encyc.pdf | 29-Dec-2007 19:03 | 97K | ||
| evadiss.ps | 13-Mar-1997 21:19 | 822K | ||
| fin-abst.abstract | 30-May-1997 14:00 | 924 | ||
| fin-abst.dvi | 31-May-1997 14:55 | 438K | ||
| fin-abst.html | 30-May-1997 14:00 | 1.2K | ||
| fin-abst.ps | 31-May-1997 14:57 | 822K | ||
| fin-schema.abstract | 25-Nov-1996 15:40 | 1.1K | ||
| fin-schema.dvi | 25-Nov-1996 15:42 | 292K | ||
| fin-schema.html | 07-Feb-1997 21:45 | 1.4K | ||
| fin-schema.html.save | 07-Feb-1997 21:00 | 1.2K | ||
| fin-schema.ps | 26-Sep-1999 07:16 | 661K | ||
| fin-schema.tex | 25-Nov-1996 15:40 | 201K | ||
| fini1.dvi | 11-Jul-1997 16:30 | 14K | ||
| fini1.ps | 11-Jul-1997 16:30 | 102K | ||
| floydsharp.pdf | 29-Feb-2004 20:05 | 3.1M | ||
| fork.abstract | 22-Mar-1996 11:00 | 1.0K | ||
| fork.dvi | 22-Mar-1996 10:52 | 108K | ||
| fork.html | 07-Feb-1997 21:42 | 1.3K | ||
| fork.ps | 16-Sep-2002 16:16 | 332K | ||
| foundrel03nov.html | 30-Jan-2004 19:59 | 3.4K | ||
| foundrel03nov.pdf | 30-Jan-2004 15:12 | 297K | ||
| foundrel03nov.ps | 30-Jan-2004 15:12 | 526K | ||
| freebao.abs | 06-Oct-2002 22:19 | 428 | ||
| freebao.html | 08-Oct-2002 21:47 | 739 | ||
| freebao.pdf | 29-Dec-2007 19:03 | 121K | ||
| freebao.ps | 06-Oct-2002 22:19 | 138K | ||
| freiburg-slides/ | 25-Jul-2005 23:17 | - | ||
| goduniv/ | 16-Jun-2006 00:26 | - | ||
| godunivisu-2008v2.pdf | 17-Nov-2008 17:10 | 8.8M | ||
| godunivisu-revised.pdf | 25-Jul-2009 11:15 | 5.0M | ||
| godunivisual.pdf | 11-Nov-2008 19:44 | 8.9M | ||
| gs2-ldec.ps | 30-Jan-2002 17:19 | 129K | ||
| handbook.html | 05-Aug-2003 21:30 | 482 | ||
| handbook.pdf | 05-Aug-2003 21:11 | 742K | ||
| handbook.ps | 21-Dec-1997 21:22 | 3.6M | ||
| ilart.html | 08-Jul-2001 14:44 | 866 | ||
| ind.ps | 14-Jul-2000 20:28 | 209K | ||
| injectivity/ | 08-May-2007 23:34 | - | ||
| interpolation.abstract | 07-Feb-1997 21:03 | 2.0K | ||
| interpolation.dvi | 13-Nov-1996 15:53 | 145K | ||
| interpolation.html | 07-Feb-1997 21:43 | 2.4K | ||
| interpolation.ps | 27-May-1997 16:56 | 308K | ||
| item | 14-Dec-1998 21:53 | 470 | ||
| j50/ | 11-Jun-1999 12:03 | - | ||
| johan50.pdf | 05-Aug-2003 21:01 | 245K | ||
| johan50.ps | 08-Sep-2001 18:45 | 356K | ||
| kuagthes.html | 25-Nov-2007 15:04 | 1.6K | ||
| kurzus-2006/ | 23-May-2006 22:33 | - | ||
| kurzus10.pdf | 27-Dec-2009 17:01 | 28K | ||
| kurzus10/ | 23-May-2010 14:15 | - | ||
| lcube-ax.abstract | 07-Feb-1997 21:09 | 478 | ||
| lcube-ax.dvi | 30-Sep-1996 16:36 | 30K | ||
| lcube-ax.html | 05-Aug-2003 21:15 | 835 | ||
| lcube-ax.pdf | 05-Aug-2003 21:03 | 164K | ||
| lcube-ax.ps | 16-Sep-2002 15:08 | 189K | ||
| lcube-ax.tex | 30-Sep-1996 16:36 | 24K | ||
| loc-mnt04.html | 30-Jan-2004 20:10 | 1.6K | ||
| loc-mnt04.pdf | 26-Oct-2004 23:02 | 547K | ||
| loc-mnt04.ps | 26-Oct-2004 23:02 | 1.0M | ||
| lstsamples.html | 30-Jan-2004 19:52 | 2.1K | ||
| lstsamples.pdf | 23-Jan-2007 17:11 | 301K | ||
| lstsamples.ps | 23-Jan-2007 17:14 | 513K | ||
| madarasz-es.pdf | 03-Jul-2007 19:28 | 258K | ||
| marhasag.abstract | 29-Dec-1997 17:04 | 85 | ||
| marhasag.html | 29-Dec-1997 17:04 | 360 | ||
| marhasag.li | 29-Dec-1997 17:04 | 310 | ||
| meth.abstract | 28-Sep-1995 09:16 | 1.8K | ||
| meth.dvi | 28-Sep-1995 09:16 | 284K | ||
| meth.html | 05-Aug-2003 21:25 | 1.9K | ||
| meth.pdf | 18-Jan-2006 21:01 | 643K | ||
| meth.ps | 01-Jul-1998 20:04 | 692K | ||
| neatelem.abstract | 06-Sep-1999 17:34 | 426 | ||
| neatelem.dvi | 06-Sep-1999 17:34 | 173K | ||
| neatelem.html | 06-Sep-1999 17:38 | 718 | ||
| neatelem.ps | 06-Sep-1999 20:45 | 475K | ||
| nem-fork.abstract | 02-May-1997 19:24 | 1.3K | ||
| nem-fork.dvi.gz | 02-May-1997 19:12 | 41K | ||
| nem-fork.html | 02-May-1997 19:22 | 1.6K | ||
| nem-fork.ps | 02-May-1997 19:13 | 252K | ||
| nesi.pdf | 17-Nov-2008 17:11 | 196K | ||
| nhompage.htm | 27-Oct-2009 13:23 | 5.6K | ||
| nonturingbib.ps | 06-Oct-2002 22:18 | 53K | ||
| nppres.dvi | 06-Jan-1997 15:30 | 64K | ||
| nrecentwork.htm | 23-Jul-2008 22:48 | 10K | ||
| olsort.html | 08-Feb-2005 17:46 | 7.3K | ||
| parti.ps.gz | 07-May-2001 20:23 | 539K | ||
| peterrozsa.pdf | 22-Jul-2004 18:17 | 10M | ||
| pezs/ | 16-Sep-2002 16:23 | - | ||
| polyadi2.abstract | 07-Feb-1997 21:20 | 1.0K | ||
| polyadi2.dvi | 11-Dec-1996 12:09 | 103K | ||
| polyadi2.html | 07-Feb-1997 21:41 | 1.3K | ||
| polyadi2.ps | 16-Sep-2002 16:05 | 335K | ||
| polyadi3.abstract | 07-Feb-1997 21:23 | 1.0K | ||
| polyadi3.dvi | 22-Jun-1997 23:34 | 51K | ||
| polyadi3.html | 07-Feb-1997 21:42 | 1.4K | ||
| polyadi3.ps | 03-Jul-1997 10:39 | 216K | ||
| polyadsg.abstract | 07-Feb-1997 21:26 | 1.2K | ||
| polyadsg.dvi | 11-Dec-1996 12:10 | 21K | ||
| polyadsg.html | 07-Feb-1997 21:48 | 1.6K | ||
| posdec.abstract | 07-Feb-1997 21:28 | 560 | ||
| posdec.dvi | 30-Sep-1996 16:36 | 7.9K | ||
| posdec.html | 05-Aug-2003 21:21 | 927 | ||
| posdec.pdf | 05-Aug-2003 21:06 | 98K | ||
| posdec.ps | 16-Sep-2002 15:57 | 87K | ||
| prefer.abstract | 11-Mar-1997 15:01 | 1.0K | ||
| prefer.contents | 11-Mar-1997 15:10 | 349 | ||
| prefer.html | 11-Mar-1997 15:08 | 1.4K | ||
| prefer.tar | 12-Mar-1997 17:41 | 10K | ||
| rafromca.abstract | 07-Feb-1997 21:30 | 1.4K | ||
| rafromca.dvi | 13-Nov-1996 15:52 | 67K | ||
| rafromca.html | 07-Feb-1997 21:49 | 1.7K | ||
| rect.dense.abstract | 07-Feb-1997 21:35 | 2.5K | ||
| rect.dense.dvi | 18-Sep-1996 18:33 | 361K | ||
| rect.dense.html | 05-Aug-2003 21:23 | 2.9K | ||
| rect.dense.pdf | 05-Aug-2003 21:08 | 506K | ||
| rect.dense.ps | 18-Sep-1996 18:37 | 639K | ||
| rel0207-1.pdf | 07-Aug-2002 17:41 | 2.1M | ||
| rel0207-1.ps.gz | 07-Aug-2002 17:37 | 542K | ||
| rel0207-2.pdf | 07-Aug-2002 17:47 | 3.3M | ||
| rel0207-2.ps.gz | 07-Aug-2002 17:37 | 697K | ||
| rel0207-3.pdf | 07-Aug-2002 17:48 | 1.5M | ||
| rel0207-3.ps.gz | 07-Aug-2002 17:37 | 521K | ||
| rel0207-4.pdf | 07-Aug-2002 17:49 | 1.7M | ||
| rel0207-4.ps.gz | 07-Aug-2002 17:38 | 469K | ||
| rel0207-5.pdf | 07-Aug-2002 17:50 | 1.8M | ||
| rel0207-5.ps.gz | 07-Aug-2002 17:38 | 730K | ||
| rel0207-6.pdf | 07-Aug-2002 17:51 | 1.7M | ||
| rel0207-6.ps.gz | 07-Aug-2002 17:38 | 632K | ||
| rel0207-7.pdf | 07-Aug-2002 17:52 | 1.9M | ||
| rel0207-7.ps.gz | 07-Aug-2002 17:38 | 787K | ||
| rel0207-8.pdf | 07-Aug-2002 17:52 | 1.2M | ||
| rel0207-8.ps.gz | 07-Aug-2002 17:38 | 423K | ||
| rel0207-9.pdf | 07-Aug-2002 17:53 | 2.2M | ||
| rel0207-9.ps.gz | 07-Aug-2002 17:38 | 627K | ||
| rel0207-10.pdf | 07-Aug-2002 17:54 | 3.9M | ||
| rel0207-10.ps.gz | 07-Aug-2002 17:38 | 1.2M | ||
| rel0207-11.pdf | 07-Aug-2002 17:55 | 2.3M | ||
| rel0207-11.ps.gz | 07-Aug-2002 17:38 | 707K | ||
| relativity.html | 05-Aug-2003 21:28 | 4.2K | ||
| relativity1.pdf | 05-Aug-2003 21:10 | 967K | ||
| relativity1.ps | 14-Dec-1998 18:28 | 1.4M | ||
| relativity2.pdf | 05-Aug-2003 21:10 | 789K | ||
| relativity2.ps | 14-Dec-1998 18:32 | 1.4M | ||
| reldynamics.pdf | 07-Jun-2008 20:19 | 229K | ||
| sayed-ahmed.dvi | 06-Oct-2002 15:39 | 193K | ||
| sayed-dis.abs | 06-Oct-2002 15:39 | 1.0K | ||
| sayed-dis.html | 08-Oct-2002 21:47 | 1.4K | ||
| sayed-dis.ps | 06-Oct-2002 15:39 | 1.6M | ||
| semiproduct-drawings.pdf | 16-Feb-2007 15:17 | 456K | ||
| semiproduct.book2.pdf | 05-Dec-2005 12:24 | 4.2M | ||
| sim-1008.bev | 08-Oct-2002 21:46 | 25K | ||
| simon.ps.gz | 27-Nov-1998 12:28 | 289K | ||
| simthes.html | 21-Dec-1997 21:05 | 327 | ||
| simthes.ps | 21-Dec-1997 21:16 | 924K | ||
| sofsem06abstract.pdf | 18-Jan-2006 14:52 | 171K | ||
| sofsem06present.pdf | 03-Feb-2006 16:09 | 1.1M | ||
| spacetimerecentwork.htm | 23-Jul-2008 22:49 | 8.3K | ||
| springer.2006-04-10.pdf | 01-Feb-2007 23:30 | 253K | ||
| survey.abstract | 07-Feb-1997 21:38 | 880 | ||
| survey.dvi | 10-Feb-1997 15:55 | 498K | ||
| survey.html | 07-Feb-1997 21:40 | 1.2K | ||
| survey.ps | 06-Jul-1998 16:58 | 842K | ||
| tezis.ps | 23-Dec-2002 18:22 | 178K | ||
| theses.ps | 23-Dec-2002 18:22 | 157K | ||
| turing.abs | 06-Oct-2002 22:19 | 1.2K | ||
| turing.html | 05-Aug-2003 21:31 | 1.5K | ||
| turing.pdf | 05-Aug-2003 21:12 | 308K | ||
| turing.ps | 06-Oct-2002 22:19 | 360K | ||
| twp.pdf | 01-Feb-2007 23:31 | 334K | ||
| uc08.pdf | 22-Oct-2008 14:30 | 250K | ||