Index of /~cdm/resources

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]00-grabbag.pdf2025-05-24 19:23 448K 
[ ]00-primrec.pdf2024-09-02 16:26 411K 
[ ]02-coding.pdf2024-08-15 12:30 481K 
[ ]05-loop-progs.pdf2024-08-15 12:30 402K 
[ ]08-wild-computation.pdf2024-09-03 21:40 748K 
[ ]10-combinatorics.pdf2025-05-21 14:18 417K 
[ ]10-induction.pdf2025-06-20 14:27 586K 
[ ]10-memoryless.pdf2025-05-24 19:23 476K 
[ ]10-numberth.pdf2025-05-29 12:30 664K 
[ ]10-register-mach.pdf2024-09-02 16:26 497K 
[ ]12-memoryless.pdf2025-05-24 19:23 583K 
[ ]12-numberth.pdf2025-05-29 12:30 422K 
[ ]15-enumeration.pdf2025-05-21 14:18 463K 
[ ]15-turing-mach.pdf2025-05-21 14:18 1.4M 
[ ]17-closure.pdf2025-05-24 19:23 660K 
[ ]18-sgrps-groups.pdf2025-05-29 12:30 921K 
[ ]20-fibonacci.pdf2025-05-21 14:18 407K 
[ ]20-groups.pdf2025-05-29 12:30 486K 
[ ]20-models.pdf2025-06-05 14:40 405K 
[ ]20-recursion.pdf2025-05-26 08:45 1.7M 
[ ]20-statecomp.pdf2025-05-24 19:23 490K 
[ ]22-in-exclusion.pdf2025-05-21 14:18 291K 
[ ]22-minimization.pdf2025-05-24 19:23 476K 
[ ]23-GL-3-2.pdf2025-05-29 12:30 348K 
[ ]24-actions.pdf2025-05-29 12:30 588K 
[ ]24-fast-minimization.pdf2025-05-24 19:23 490K 
[ ]24-minimization.pdf2025-05-24 19:23 429K 
[ ]24-moebius.pdf2025-05-21 14:18 314K 
[ ]26-ndet-minimization.pdf2025-05-24 19:23 360K 
[ ]26-polya-redfield.pdf2025-05-29 12:30 813K 
[ ]28-bisimulation.pdf2025-05-24 19:23 274K 
[ ]30-decidability.pdf2025-05-21 14:18 2.2M 
[ ]30-gener-func.pdf2025-05-21 14:18 341K 
[ ]30-iteration.pdf2025-06-21 14:38 604K 
[ ]30-kleene-algebra.pdf2025-05-24 19:23 429K 
[ ]30-semi-rings.pdf2025-05-29 12:30 319K 
[ ]32-iteration.pdf2025-05-21 14:18 956K 
[ ]32-kleene-regex.pdf2025-05-24 19:23 477K 
[ ]32-polynomials.pdf2025-05-29 12:30 604K 
[ ]34-interpolation.pdf2025-05-29 12:30 398K 
[ ]34-iteration.pdf2025-05-21 14:18 13M 
[ ]36-string-match.pdf2025-05-24 19:23 1.1M 
[ ]40-ffields.pdf2025-05-29 12:30 560K 
[ ]40-fundamentals.pdf2025-05-21 14:18 351K 
[ ]41-ffields.pdf2025-05-29 12:30 401K 
[ ]42-ffields-apps.pdf2025-05-29 12:30 597K 
[ ]44-ffields-codes.pdf2025-05-29 12:30 729K 
[ ]50-ordinals.pdf2025-08-27 21:55 430K 
[ ]50-reductions.pdf2025-05-21 14:18 431K 
[ ]50-rewrite.pdf2025-06-06 11:02 660K 
[ ]50-sol-words.pdf2025-06-06 11:02 472K 
[ ]52-mso-omega.pdf2025-05-24 19:23 368K 
[ ]54-mso-ctl.pdf2025-05-24 19:23 452K 
[ ]54-safra.pdf2025-05-24 19:23 452K 
[ ]56-safra-demo.pdf2025-05-24 19:23 1.1M 
[ ]58-modcheck-demo.pdf2025-05-24 19:23 717K 
[ ]59-verification-CTL.pdf2025-05-24 19:23 365K 
[ ]60-arith-hier.pdf2025-05-21 14:18 367K 
[ ]60-omega.pdf2025-05-24 19:23 384K 
[ ]60-padic.pdf2025-05-29 12:30 300K 
[ ]62-omega.pdf2025-05-24 19:23 470K 
[ ]65-safra-demo.pdf2025-05-24 19:23 1.1M 
[ ]70-automatic-seq.pdf2025-05-24 19:23 563K 
[ ]70-intermediate.pdf2025-05-21 14:18 718K 
[ ]72-decimation.pdf2025-05-24 19:23 459K 
[ ]75-priority.pdf2024-08-15 12:30 170K 
[ ]78-automatic-demo.pdf2025-05-24 19:23 717K 
[ ]80-automatic.pdf2025-05-24 19:23 1.5M 
[ ]82-rational.pdf2025-05-24 19:23 584K 
[ ]84-Presburger-quant.pdf2025-05-24 19:23 666K 
[ ]86-Presburger-autom.pdf2025-05-24 19:23 495K 
[ ]88-automatic-demo.pdf2025-05-24 19:23 717K 
[ ]90-invertible.pdf2025-05-24 19:23 418K 
[ ]92-elem-ca.pdf2025-05-24 19:23 1.5M 
[ ]AckermannSld.nb2024-08-15 12:30 23K 
[TXT]AlternatingWords.txt2024-08-15 12:30 34K 
[ ]Booker2019-33-3-cubes.pdf2025-05-21 14:18 305K 
[ ]Budnik2012-ordcalc.pdf2025-08-20 12:43 255K 
[ ]Budnik2012-ordinal-calculator.pdf2025-08-20 12:43 1.7M 
[ ]Conway1987-fractran.pdf2025-05-21 14:18 3.1M 
[ ]ConwayFactors.pdf2025-05-24 19:23 304K 
[ ]CulikYu.pdf2024-08-15 12:30 96K 
[TXT]DFA-minimizer.cc2024-08-15 12:30 5.7K 
[ ]Davis2004-myth-hyper.pdf2024-12-01 11:29 196K 
[ ]FitelsonZalta2007-comp-metaphysics.pdf2025-06-20 13:11 1.4M 
[ ]Genealogy.pdf2024-08-15 12:30 16K 
[ ]GoedelvonNeumann.pdf2024-08-15 12:30 57K 
[ ]Gries1972.pdf2024-09-26 15:11 1.1M 
[ ]Harland2016.pdf2024-08-15 12:30 681K 
[ ]HartmanisLewisStearns1965.pdf2025-09-13 07:05 429K 
[ ]Hopcroft1971.pdf2024-08-15 12:30 541K 
[ ]Karp1971.pdf2024-08-15 12:30 10M 
[ ]Kleene1951.pdf2024-08-15 12:30 3.5M 
[ ]Knuth-20q.pdf2024-08-15 12:30 341K 
[ ]Knuutila2001.pdf2024-09-26 15:12 216K 
[ ]Korec1996-small-universal-RM.pdf2024-09-07 18:15 2.3M 
[ ]MIPSRE.pdf2024-08-15 12:30 1.5M 
[IMG]Mandelbrot-slow.gif2024-08-15 12:30 24M 
[IMG]Mandelbrot.gif2024-08-15 12:30 24M 
[ ]MarxenBuntrock1990-busy-beaver-5.pdf2024-12-25 14:09 45K 
[ ]McCullochPitts1943.pdf2024-08-15 12:30 869K 
[ ]Moschovakis2002.pdf2024-09-26 21:23 338K 
[ ]PostsProb.pdf2025-05-21 14:18 269K 
[ ]PostsProblem.pdf2025-05-21 14:18 269K 
[ ]RabinScott1959.pdf2024-08-15 12:30 1.3M 
[ ]Seisenberger00.pdf2024-08-15 12:30 229K 
[ ]ShepherdsonSturgis1963.pdf2024-08-15 12:30 2.1M 
[ ]Smith2020-2-3-Turing-mach.pdf2025-05-21 14:18 291K 
[ ]Sutner1989-Culik-Yu.pdf2025-05-21 14:18 2.4M 
[ ]TM23Proof.pdf2024-08-15 12:30 741K 
[ ]Turing1936-computable-numbers.pdf2025-05-21 14:18 2.1M 
[ ]Valmari2012.pdf2024-09-26 21:23 132K 
[ ]Xu2024-busy-beaver-skelet-17.pdf2024-12-24 19:31 359K 
[TXT]ackermann.cc2024-08-15 12:30 1.2K 
[ ]bloomington14-6up.pdf2024-08-15 12:30 821K 
[ ]chatgpt-cdm.org2025-08-14 21:59 1.9K 
[ ]cmu05-talk.pdf2024-08-15 12:30 913K 
[ ]fsm.pdf2025-05-24 19:23 2.3M 
[ ]jeric.pdf2024-08-15 12:30 104K 
[TXT]ks-exam.cls2024-08-15 12:30 5.8K 
[TXT]ks-texmacs.sty2024-10-10 11:09 15K 
[TXT]ksassgn.sty2024-08-15 12:30 5.9K 
[TXT]kstexmacs.sty2024-08-15 12:30 13K 
[ ]main-fund.pdf2024-09-02 16:26 3.4M 
[TXT]midterm-23.tex2024-08-15 12:30 7.5K 
[ ]midterm-24.pdf2024-10-10 11:07 163K 
[TXT]midterm-24.tex2024-10-10 11:07 8.2K 
[ ]selection.pdf2025-08-14 21:59 779K 
[ ]xor-map.pdf2024-08-15 12:30 1.2M 
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 443