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