| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 112691 | Nominal2-2011-1.tgz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 157955 | Nominal2-2012.tgz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 2359550 | Phd-Urban.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 701023 | Phd-Urban.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 350988 | alpha-iclp.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 313389 | alpha-tlca.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 212563 | aprolog-colognet.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 229135 | aprolog.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 243704 | cade07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 436517 | cade07.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 340044 | class-tcs.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 236028 | clc-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 192954 | cpp-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 298290 | esop-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 127606 | fi-00.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 281151 | fi-01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 127614 | fi-01.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 425837 | ijcar-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 269144 | itp-11.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2012-11-06 20:19 +0000 | 175720 | itp-12.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 198169 | jlc-03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 171541 | lf.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 262576 | lfmtp-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 121527 | lfmtp-07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 341202 | lftechreport.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 171541 | lics-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 322016 | lmcs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 181877 | ln.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 125253 | merlin-05.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 217559 | merlin-05.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 131843 | mike-poster-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 17297 | mike-poster-abstract-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 12991215 | mphil.pdf.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 444244 | nom-cade-05.ps | file | revisions | annotate |
| -rwxr-xr-x | 2012-11-06 20:19 +0000 | 265106 | nom-tech.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 349315 | nom-tech.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 207475 | nominal-atoms.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2012-11-06 20:19 +0000 | 242612 | nomu-tcs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 319354 | nomu-tcs.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 323260 | nomu.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 66252 | proposal-2007.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 301997 | rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 531254 | rta-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 202973 | sac-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 253501 | tableaux-01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 93340 | tableaux-01.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 530 | tableaux-98.bib | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 32318 | tableaux-98.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 417 | tlca-99.bib | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 271538 | tlca-99.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 104183 | tlca-99.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 94762 | tphols-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 185920 | univ-10.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2012-11-06 20:19 +0000 | 218902 | variable.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 109927 | w-07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-11-06 20:19 +0000 | 196286 | westapp-01.pdf | file | revisions | annotate |