Index of /larmore/Courses/CSC456

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]3sat.html 2018-09-14 11:35 4.0K 
[TXT]320.txt 2018-09-14 11:35 2.9K 
[DIR]BSAT/ 2018-09-14 11:34 -  
[DIR]CYK/ 2018-09-14 11:34 -  
[DIR]Challenge/ 2024-03-22 11:01 -  
[DIR]CtxSen/ 2018-09-14 11:34 -  
[DIR]DfaNfa/ 2018-09-14 11:34 -  
[DIR]F00/ 2018-09-14 11:34 -  
[DIR]F02/ 2018-09-14 11:34 -  
[DIR]F03/ 2018-09-14 11:34 -  
[DIR]F04/ 2018-09-14 11:34 -  
[DIR]F05/ 2018-09-14 11:34 -  
[DIR]F06/ 2018-09-14 11:34 -  
[DIR]F07/ 2018-09-14 11:34 -  
[DIR]F08/ 2018-09-14 11:34 -  
[DIR]F10/ 2018-09-14 11:34 -  
[DIR]F11/ 2018-09-14 11:34 -  
[DIR]F12/ 2018-09-14 11:34 -  
[DIR]F13/ 2018-09-14 11:34 -  
[DIR]F16/ 2018-09-14 11:34 -  
[DIR]F18/ 2018-12-21 18:15 -  
[DIR]F19/ 2019-12-23 15:21 -  
[DIR]F20/ 2020-11-25 19:53 -  
[DIR]F21/ 2021-11-13 11:49 -  
[DIR]F22/ 2022-11-30 10:18 -  
[DIR]F23/ 2023-08-23 15:39 -  
[DIR]F24/ 2024-08-25 18:17 -  
[DIR]F98/ 2018-09-14 11:34 -  
[DIR]F99/ 2018-09-14 11:34 -  
[DIR]Fillblanks/ 2018-09-14 11:34 -  
[DIR]Hints/ 2018-09-14 11:34 -  
[DIR]Just/ 2018-09-14 11:34 -  
[DIR]Knapsack/ 2018-09-14 11:34 -  
[DIR]Laxmi/ 2018-09-14 11:34 -  
[DIR]NC/ 2018-09-14 11:34 -  
[DIR]NP/ 2018-09-14 11:34 -  
[DIR]P-NP/ 2018-09-14 11:34 -  
[DIR]Parsing/ 2021-04-21 22:04 -  
[DIR]Problems/ 2023-01-24 20:22 -  
[DIR]Pumping/ 2018-11-07 10:20 -  
[DIR]S00/ 2018-09-14 11:34 -  
[DIR]S01/ 2018-09-14 11:34 -  
[DIR]S02/ 2018-09-14 11:34 -  
[DIR]S03/ 2018-09-14 11:34 -  
[DIR]S04/ 2018-09-14 11:34 -  
[DIR]S05/ 2018-09-14 11:34 -  
[DIR]S06/ 2018-09-14 11:34 -  
[DIR]S07/ 2018-09-14 11:34 -  
[DIR]S09/ 2018-09-14 11:34 -  
[DIR]S10/ 2018-09-14 11:34 -  
[DIR]S13/ 2018-09-14 11:35 -  
[DIR]S14/ 2018-09-14 11:35 -  
[DIR]S15/ 2018-09-14 11:35 -  
[DIR]S16/ 2018-09-14 11:35 -  
[DIR]S17/ 2018-09-14 11:35 -  
[DIR]S18/ 2018-09-14 11:35 -  
[DIR]S19/ 2019-04-08 12:57 -  
[DIR]S20/ 2020-02-13 10:01 -  
[DIR]S21/ 2021-04-21 22:01 -  
[DIR]S22/ 2022-01-19 10:20 -  
[DIR]S23/ 2023-08-23 15:40 -  
[DIR]S24/ 2024-03-22 11:07 -  
[DIR]S94/ 2018-09-14 11:35 -  
[DIR]S95/ 2018-09-14 11:35 -  
[DIR]S96/ 2018-09-14 11:35 -  
[DIR]S97/ 2018-09-14 11:35 -  
[DIR]S98/ 2018-09-14 11:35 -  
[DIR]S99/ 2018-09-14 11:35 -  
[DIR]Schedule/ 2023-01-17 16:04 -  
[DIR]StdyPrbs/ 2018-09-14 11:35 -  
[DIR]TMFigs/ 2018-09-14 11:35 -  
[DIR]Turing/ 2021-04-21 21:56 -  
[DIR]UnresGr/ 2018-09-14 11:35 -  
[   ]abetslides.tex 2018-09-14 11:35 2.6K 
[   ]accept.pdf 2019-09-18 10:54 20K 
[   ]addNC.pdf 2019-11-07 09:24 45K 
[   ]allBlanks.tex 2018-09-14 11:35 725  
[   ]allTF.tex 2018-09-14 11:35 4.9K 
[   ]answers 2018-09-14 11:35 231  
[IMG]blubul1a.gif 2018-09-14 11:35 257  
[IMG]bluhorsa.gif 2018-09-14 11:35 302  
[IMG]blutextb.gif 2018-09-14 11:35 460  
[TXT]boolCpp 2018-09-14 11:35 307  
[   ]boolExp 2018-09-14 11:35 153  
[   ]boolV 2018-09-14 11:35 96  
[TXT]boolcircuit 2018-09-14 11:35 2.3K 
[   ]carryNC.pdf 2020-10-26 13:44 49K 
[TXT]certificate 2018-09-14 11:35 1.3K 
[   ]cf.aux 2018-09-14 11:35 8  
[   ]cf.dvi 2018-09-14 11:35 2.1K 
[TXT]cf.log 2018-09-14 11:35 9.8K 
[   ]cf.pdf 2018-09-14 11:35 19K 
[   ]cf.tex 2018-09-14 11:35 2.2K 
[   ]cf.tex.bak 2018-09-14 11:35 2.2K 
[TXT]closure.txt 2018-09-14 11:35 1.9K 
[   ]cmpClss.pdf 2023-10-23 11:10 56K 
[TXT]cnf3 2018-09-14 11:35 1.1K 
[TXT]colostateindex.txt 2018-09-14 11:35 9.2K 
[TXT]cp 2018-09-14 11:35 0  
[TXT]cpts317.txt 2018-09-14 11:35 9.7K 
[TXT]cs301.txt 2018-09-14 11:35 4.0K 
[TXT]csc656.html 2018-09-14 11:35 1.2K 
[TXT]csci360_syl.txt 2018-09-14 11:35 2.9K 
[   ]ctxSen.aux 2018-09-14 11:35 8  
[   ]ctxSen.dvi 2018-09-14 11:35 2.6K 
[TXT]ctxSen.log 2018-09-14 11:35 3.8K 
[   ]ctxSen.pdf 2018-09-14 11:35 24K 
[   ]ctxSen.ps 2018-09-14 11:35 138K 
[   ]ctxSen.tex 2018-09-14 11:35 8.7K 
[TXT]curve.html 2018-09-14 11:35 527  
[TXT]cvp.html 2018-09-14 11:35 4.2K 
[   ]cxtf.aux 2018-09-14 11:35 8  
[   ]cxtf.dvi 2018-09-14 11:35 2.0K 
[TXT]cxtf.log 2018-09-14 11:35 9.3K 
[   ]cxtf.pdf 2018-09-14 11:35 18K 
[   ]cxtf.tex 2018-09-14 11:35 2.2K 
[   ]cxtf0.aux 2018-09-14 11:35 8  
[   ]cxtf0.dvi 2018-09-14 11:35 2.4K 
[TXT]cxtf0.log 2018-09-14 11:35 9.3K 
[   ]cxtf0.pdf 2018-09-14 11:35 22K 
[   ]cxtf0.tex 2018-09-14 11:35 2.3K 
[TXT]cyk.html 2018-09-14 11:35 2.8K 
[TXT]decidable 2018-09-14 11:35 2.1K 
[   ]dfa1.eps 2018-09-14 11:35 7.5K 
[   ]dfa1.fig 2018-09-14 11:35 1.6K 
[   ]dfa1.fig.bak 2018-09-14 11:35 2.3K 
[   ]dfa2.eps 2018-09-14 11:35 7.0K 
[   ]dfa2.fig 2018-09-14 11:35 1.3K 
[   ]dfa2.fig.bak 2018-09-14 11:35 1.8K 
[   ]dfa8.eps 2018-09-14 11:35 9.1K 
[   ]dfa8.fig 2018-09-14 11:35 1.6K 
[   ]dfa8.fig.bak 2018-09-14 11:35 1.8K 
[   ]dfaReg.eps 2018-09-14 11:35 8.5K 
[   ]dfaReg.fig 2018-09-14 11:35 3.3K 
[   ]dfaReg.fig.bak 2018-09-14 11:35 3.2K 
[   ]dfaReg.pdf 2018-09-14 11:35 5.3K 
[   ]ee+e.fig.bak 2018-09-14 11:35 9.7K 
[   ]ee+eL.fig 2018-09-14 11:35 3.6K 
[   ]ee+eL.fig.bak 2018-09-14 11:35 11K 
[   ]ee+eR.fig 2018-09-14 11:35 11K 
[   ]equal.eps 2018-09-14 11:35 13K 
[   ]equal.fig 2018-09-14 11:35 6.8K 
[   ]equal.fig.bak 2018-09-14 11:35 5.4K 
[   ]equiv.fig 2018-09-14 11:35 3.9K 
[   ]equiv.fig.bak 2018-09-14 11:35 3.9K 
[TXT]even 2018-09-14 11:35 1.5K 
[   ]example 2018-09-14 11:35 483  
[   ]f07test02.ps 2018-09-14 11:35 122K 
[   ]f07test1.pdf 2018-09-14 11:35 41K 
[   ]f07test1.ps 2018-09-14 11:35 119K 
[   ]f07test2.pdf 2018-09-14 11:35 57K 
[   ]f08test1.pdf 2018-09-14 11:35 39K 
[   ]f08test1.ps 2018-09-14 11:35 111K 
[   ]f08test2.pdf 2018-09-14 11:35 52K 
[   ]f08test2.ps 2018-09-14 11:35 109K 
[   ]f10test1.pdf 2018-09-14 11:35 46K 
[   ]f10test1.ps 2018-09-14 11:35 196K 
[   ]f10test2.pdf 2018-09-14 11:35 32K 
[   ]f10test2.ps 2018-09-14 11:35 55K 
[   ]fillBlnks.aux 2018-09-14 11:35 37  
[   ]fillBlnks.dvi 2018-09-14 11:35 9.1K 
[TXT]fillBlnks.log 2018-09-14 11:35 4.0K 
[   ]fillBlnks.pdf 2018-09-14 11:35 47K 
[   ]fillBlnks.ps 2018-09-14 11:35 52K 
[   ]fillBlnks.tex 2018-09-14 11:35 14K 
[   ]fillBlnks02.aux 2018-09-14 11:35 37  
[   ]fillBlnks02.dvi 2018-09-14 11:35 7.8K 
[TXT]fillBlnks02.log 2018-09-14 11:35 4.1K 
[   ]fillBlnks02.pdf 2018-09-14 11:35 44K 
[   ]fillBlnks02.ps 2018-09-14 11:35 276K 
[   ]fillBlnks02.tex 2018-09-14 11:35 14K 
[   ]fillBlnksAn.aux 2018-09-14 11:35 37  
[   ]fillBlnksAn.dvi 2018-09-14 11:35 9.6K 
[TXT]fillBlnksAn.log 2018-09-14 11:35 4.1K 
[   ]fillBlnksAn.pdf 2018-09-14 11:35 47K 
[   ]fillBlnksAn.tex 2018-09-14 11:35 15K 
[   ]formalproof 2022-11-28 09:49 127  
[   ]genG.pdf 2019-11-12 13:48 22K 
[TXT]gengram 2018-09-14 11:35 1.8K 
[TXT]gramEquiv.html 2018-09-14 11:35 929  
[   ]grimaldi 2018-09-14 11:35 6.7K 
[   ]halt.pdf 2019-10-29 17:43 42K 
[   ]hw5cyk.pdf 2018-09-14 11:35 15K 
[   ]indSS.pdf 2020-10-26 13:44 59K 
[   ]indSS01.pdf 2019-10-25 22:36 52K 
[TXT]index.txt 2018-09-14 11:35 4.3K 
[TXT]indexsjsu.txt 2018-09-14 11:35 4.5K 
[TXT]infinity.html 2018-09-14 11:35 3.8K 
[   ]jstfig2.pdf 2018-09-14 11:35 6.4K 
[   ]jstfig2.ps 2018-09-14 11:35 20K 
[   ]jstfig2.tex 2018-09-14 11:35 936  
[   ]jstfig3.pdf 2018-09-14 11:35 6.6K 
[   ]jstfig3.ps 2018-09-14 11:35 21K 
[   ]jstfig3.tex 2018-09-14 11:35 936  
[   ]jstfig4.pdf 2018-09-14 11:35 4.9K 
[   ]jstfig4.ps 2018-09-14 11:35 15K 
[   ]jstfig4.tex 2018-09-14 11:35 936  
[   ]jstfig5.aux 2018-09-14 11:35 8  
[   ]jstfig5.dvi 2018-09-14 11:35 216  
[TXT]jstfig5.log 2018-09-14 11:35 2.9K 
[   ]jstfig5.pdf 2018-09-14 11:35 12K 
[   ]jstfig5.ps 2018-09-14 11:35 34K 
[   ]jstfig5.tex 2018-09-14 11:35 936  
[   ]jstfig6.aux 2018-09-14 11:35 8  
[   ]jstfig6.dvi 2018-09-14 11:35 220  
[TXT]jstfig6.log 2018-09-14 11:35 2.9K 
[   ]jstfig6.pdf 2018-09-14 11:35 2.9K 
[   ]jstfig6.ps 2018-09-14 11:35 14K 
[   ]jstfig6.tex 2018-09-14 11:35 936  
[   ]jstfig7.aux 2018-09-14 11:35 8  
[   ]jstfig7.dvi 2018-09-14 11:35 1.0K 
[TXT]jstfig7.log 2018-09-14 11:35 3.4K 
[   ]jstfig7.pdf 2018-09-14 11:35 12K 
[   ]jstfig7.ps 2018-09-14 11:35 46K 
[   ]jstfig7.tex 2018-09-14 11:35 1.3K 
[   ]jstfig8.aux 2018-09-14 11:35 8  
[   ]jstfig8.dvi 2018-09-14 11:35 1.3K 
[TXT]jstfig8.log 2018-09-14 11:35 5.1K 
[   ]jstfig8.pdf 2018-09-14 11:35 19K 
[   ]jstfig8.ps 2018-09-14 11:35 60K 
[   ]jstfig8.tex 2018-09-14 11:35 1.6K 
[   ]knap 2018-09-14 11:35 2.1K 
[   ]knap.aux 2018-09-14 11:35 53  
[   ]knap.dvi 2018-09-14 11:35 9.1K 
[TXT]knap.log 2018-09-14 11:35 9.7K 
[   ]knap.pdf 2018-09-14 11:35 52K 
[   ]knap.ps 2018-09-14 11:35 296K 
[   ]knap.tex 2018-09-14 11:35 6.3K 
[   ]knap.tex.BAK 2018-09-14 11:35 6.4K 
[   ]knap01.tex 2018-09-14 11:35 6.3K 
[   ]knpsck.eps 2018-09-14 11:35 6.3K 
[   ]knpsck.fig 2018-09-14 11:35 3.0K 
[   ]knpsck.fig.bak 2018-09-14 11:35 2.7K 
[TXT]lang.html 2018-09-14 11:35 3.5K 
[TXT]laxmi.aux 2018-09-14 11:35 154  
[   ]laxmi.dvi 2018-09-14 11:35 11K 
[TXT]laxmi.log 2018-09-14 11:35 3.3K 
[   ]laxmi.pdf 2018-09-14 11:35 46K 
[   ]laxmi.ps 2018-09-14 11:35 133K 
[   ]laxmi01.tex 2018-09-14 11:35 19K 
[TXT]laxmi02.aux 2018-09-14 11:35 155  
[   ]laxmi02.dvi 2018-09-14 11:35 11K 
[TXT]laxmi02.log 2018-09-14 11:35 3.9K 
[   ]laxmi02.pdf 2018-09-14 11:35 49K 
[   ]laxmi02.tex 2018-09-14 11:35 19K 
[TXT]mostimportant 2018-09-14 11:35 56  
[   ]nfa.eps 2018-09-14 11:35 8.2K 
[   ]nfa.fig 2018-09-14 11:35 3.1K 
[   ]nfa.fig.bak 2018-09-14 11:35 3.2K 
[TXT]nfa.txt 2018-09-14 11:35 266  
[   ]nfa2.eps 2018-09-14 11:35 6.0K 
[   ]nfa2.fig 2018-09-14 11:35 1.9K 
[   ]nfa2.fig.bak 2018-09-14 11:35 1.8K 
[   ]nfa2x.eps 2018-09-14 11:35 6.2K 
[   ]nfa2x.fig 2018-09-14 11:35 1.8K 
[   ]nfa2x.fig.bak 2018-09-14 11:35 1.9K 
[   ]nfa4.eps 2018-09-14 11:35 9.4K 
[   ]nfa4.fig 2018-09-14 11:35 1.8K 
[   ]nfa5.eps 2018-09-14 11:35 9.4K 
[   ]nfa5.fig 2018-09-14 11:35 1.8K 
[   ]nfa6.eps 2018-09-14 11:35 9.6K 
[   ]nfa6.fig 2018-09-14 11:35 1.8K 
[   ]nfa7.eps 2018-09-14 11:35 7.4K 
[   ]nfa7.fig 2018-09-14 11:35 2.1K 
[   ]nfa7.fig.bak 2018-09-14 11:35 2.1K 
[   ]nfa8.eps 2018-09-14 11:35 9.6K 
[   ]nfa8.fig 2018-09-14 11:35 1.8K 
[   ]nfa9.eps 2018-09-14 11:35 8.2K 
[   ]nfa9.fig 2018-09-14 11:35 1.5K 
[   ]nfa9.fig.bak 2018-09-14 11:35 1.8K 
[   ]nfa10.eps 2018-09-14 11:35 7.5K 
[   ]nfa10.fig 2018-09-14 11:35 1.8K 
[   ]nfa10.fig.bak 2018-09-14 11:35 1.5K 
[   ]nfa10.pdf 2018-09-14 11:35 6.3K 
[   ]nfa11.eps 2018-09-14 11:35 9.6K 
[   ]nfa11.fig 2018-09-14 11:35 1.8K 
[   ]nfa11.fig.bak 2018-09-14 11:35 1.8K 
[   ]nfa11.pdf 2018-09-14 11:35 6.3K 
[   ]nfaDfa.eps 2018-09-14 11:35 6.8K 
[   ]nfaDfa.fig 2018-09-14 11:35 2.3K 
[   ]nfaDfa.fig.bak 2018-09-14 11:35 2.2K 
[   ]nfaDfa.pdf 2018-09-14 11:35 2.5K 
[   ]nfaDfa.ps 2018-09-14 11:35 7.0K 
[   ]np.aux 2018-09-14 11:35 1.1K 
[   ]np.dvi 2018-09-14 11:35 49K 
[TXT]np.log 2018-09-14 11:35 5.2K 
[   ]np.pdf 2018-09-14 11:35 166K 
[   ]np.tex 2018-09-14 11:35 51K 
[TXT]npcomplete.html 2018-09-14 11:35 3.4K 
[   ]oddNC.pdf 2020-10-16 16:03 43K 
[TXT]oldstuff.html 2018-09-14 11:35 1.4K 
[TXT]pagan 2018-09-14 11:35 208  
[TXT]paradox.html 2018-09-14 11:35 1.2K 
[   ]pent.eps 2018-09-14 11:35 4.8K 
[   ]pent.fig 2018-09-14 11:35 1.8K 
[   ]pent.fig.bak 2018-09-14 11:35 2.0K 
[   ]portrait.pdf 2023-04-17 11:23 3.1K 
[   ]practice2.aux 2018-09-14 11:35 68  
[   ]practice2.dvi 2018-09-14 11:35 12K 
[TXT]practice2.log 2018-09-14 11:35 3.6K 
[   ]practice2.pdf 2018-09-14 11:35 79K 
[   ]practice2.ps 2018-09-14 11:35 80K 
[   ]practice2.tex 2018-09-14 11:35 10K 
[   ]practice3.pdf 2018-09-14 11:35 2.1K 
[   ]preamble 2018-09-14 11:35 32  
[TXT]prerequisites.html 2018-09-14 11:35 2.8K 
[   ]pumping.pdf 2024-03-23 14:06 49K 
[TXT]r.log 2018-09-14 11:35 743  
[TXT]rdcSt23St 2018-09-14 11:35 3.3K 
[   ]re.eps 2018-09-14 11:35 26K 
[   ]re.fig 2018-09-14 11:35 13K 
[   ]re.fig.bak 2018-09-14 11:35 13K 
[TXT]reacc 2018-12-10 18:11 672  
[TXT]recdec 2018-12-10 19:33 785  
[   ]regNC.pdf 2021-03-28 16:26 30K 
[   ]rglr.aux 2018-09-14 11:35 8  
[   ]rglr.dvi 2018-09-14 11:35 1.4K 
[TXT]rglr.log 2018-09-14 11:35 9.5K 
[   ]rglr.pdf 2020-02-18 17:29 27K 
[   ]rglr.ps 2018-09-14 11:35 117K 
[   ]rglr.tex 2018-09-14 11:35 1.7K 
[   ]roster 2018-09-14 11:35 964  
[   ]s09test1.pdf 2018-09-14 11:35 41K 
[   ]s09test1.ps 2018-09-14 11:35 117K 
[   ]s09test2.pdf 2018-09-14 11:35 50K 
[   ]s09test2.ps 2018-09-14 11:35 96K 
[   ]sat3sat.pdf 2020-10-15 14:44 54K 
[   ]satInd.pdf 2019-10-29 17:42 48K 
[   ]satnp.pdf 2019-11-02 17:16 75K 
[TXT]sg.html 2018-09-14 11:35 4.9K 
[TXT]sign.html 2018-09-14 11:35 2.8K 
[   ]simplalr.pdf 2020-11-30 15:30 43K 
[   ]sipserp144 2018-09-14 11:35 159  
[   ]ssPart.pdf 2019-11-14 19:40 32K 
[TXT]stdyGrm.html 2018-09-14 11:35 2.3K 
[TXT]stdyReg.html 2018-09-14 11:35 1.8K 
[   ]stickTst.pdf 2018-09-14 11:35 166K 
[TXT]syl.txt 2018-09-14 11:35 14K 
[   ]temp.aux 2018-09-14 11:35 8  
[   ]temp.dvi 2018-09-14 11:35 2.1K 
[TXT]temp.log 2018-09-14 11:35 9.3K 
[   ]temp.pdf 2018-09-14 11:35 19K 
[   ]temp.tex 2018-09-14 11:35 2.3K 
[   ]tempdt 2018-09-14 11:35 29  
[   ]testF06.eps 2018-09-14 11:35 5.7K 
[   ]testF06.fig 2018-09-14 11:35 1.6K 
[   ]testF06.fig.bak 2018-09-14 11:35 1.6K 
[   ]tfI.pdf 2021-05-01 08:38 41K 
[   ]tfIans.pdf 2021-05-01 08:38 42K 
[   ]tm.eps 2018-09-14 11:35 20K 
[   ]tm.fig 2018-09-14 11:35 9.7K 
[   ]tm.pdf 2018-09-14 11:35 9.5K 
[   ]tm02.eps 2018-09-14 11:35 12K 
[   ]tm02.fig 2018-09-14 11:35 5.5K 
[   ]tm02.pdf 2018-09-14 11:35 7.2K 
[   ]tm03.eps 2018-09-14 11:35 13K 
[   ]tm03.fig 2018-09-14 11:35 6.5K 
[   ]tm03.pdf 2018-09-14 11:35 7.4K 
[   ]tm04.eps 2018-09-14 11:35 6.8K 
[   ]tm04.fig 2018-09-14 11:35 2.5K 
[   ]tm04.pdf 2018-09-14 11:35 5.8K 
[   ]tm05.eps 2018-09-14 11:35 13K 
[   ]tm05.fig 2018-09-14 11:35 5.4K 
[   ]tm05.fig.bak 2018-09-14 11:35 9.7K 
[   ]tm05.pdf 2018-09-14 11:35 7.2K 
[   ]tm06.eps 2018-09-14 11:35 14K 
[   ]tm06.fig 2018-09-14 11:35 6.3K 
[   ]tm06.fig.bak 2018-09-14 11:35 5.4K 
[   ]tm06.pdf 2018-09-14 11:35 7.5K 
[   ]tm07.fig 2018-09-14 11:35 11K 
[   ]tm07.fig.bak 2018-09-14 11:35 5.4K 
[TXT]tmCode.html 2018-09-14 11:35 5.5K 
[   ]tmShL.eps 2018-09-14 11:35 13K 
[   ]tmShL.fig 2018-09-14 11:35 6.1K 
[   ]tmShL.fig.bak 2018-09-14 11:35 6.1K 
[   ]tmShL.pdf 2018-09-14 11:35 7.8K 
[TXT]topics.html 2019-12-23 15:11 5.3K 
[   ]trnsd01.eps 2018-09-14 11:35 7.5K 
[   ]trnsd01.fig 2018-09-14 11:35 1.9K 
[   ]truefalse.pdf 2020-10-02 13:27 50K 
[   ]unbndproof.pdf 2018-09-14 11:35 28K 
[   ]unbndproof.tex 2018-09-14 11:35 2.9K 
[TXT]undecidable 2018-09-14 11:35 1.4K 
[   ]url 2018-09-14 11:35 610  
[   ]vertexcover 2018-09-14 11:35 2.8K 
[TXT]whylanguages.html 2018-09-14 11:35 3.1K 
[TXT]xxxxx.html 2018-09-14 11:35 306