Index of /~dpierce/papers/undecidable/KR

Icon  Name                          Last modified      Size  Description
[DIR] Parent Directory                                   -   
[DIR] Old/                          18-Feb-2008 13:40    -   
[   ] kr.dvi                        18-Feb-2008 16:08   48K  
[   ] kr.pdf                        18-Feb-2008 16:08  152K  
[   ] kr.ps                         18-Feb-2008 16:08  633K  
[   ] kr.tex                        18-Feb-2008 16:07   30K
Apache/2.0.53 (Fedora) Server at www.math.metu.edu.tr Port 80