![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 6042.gif | 2002-02-06 18:16 | 7.2K | |
![]() | 6042valentine.gif | 2002-10-28 16:59 | 8.4K | |
![]() | aeqn.pdf | 2005-03-03 20:09 | 151K | |
![]() | aineq.pdf | 2005-05-16 15:52 | 179K | |
![]() | ass1.shtml | 2005-02-26 19:41 | 1.9K | |
![]() | ass3.5.pdf | 2005-03-06 18:53 | 93K | |
![]() | ass3.5.shtml | 2005-02-26 19:37 | 1.3K | |
![]() | ass3.5sol.pdf | 2005-03-03 20:13 | 93K | |
![]() | ass4.shtml | 2005-02-26 19:40 | 2.6K | |
![]() | ass4a.shtml | 2005-03-06 16:54 | 1.8K | |
![]() | c-eval-solns/ | 2005-03-18 21:33 | - | |
![]() | comput2.pdf | 2005-05-09 17:31 | 175K | |
![]() | computability.pdf | 2005-05-03 10:42 | 201K | |
![]() | counter-machines.log | 2005-04-29 01:57 | 1.5K | |
![]() | counter-machines.pdf | 2005-04-29 01:58 | 125K | |
![]() | cp7W.pdf | 2005-03-16 16:25 | 75K | |
![]() | cp7Wsol.pdf | 2005-03-16 13:52 | 100K | |
![]() | edwin.ini | 2005-02-18 02:59 | 2.5K | |
![]() | index.shtml | 2005-05-14 18:28 | 22K | |
![]() | project3.pdf | 2005-03-03 21:05 | 131K | |
![]() | projects.shtml | 2005-04-29 03:07 | 3.8K | |
![]() | proof-match.scm | 2003-02-25 22:45 | 6.9K | |
![]() | quiz1-appendix.pdf | 2005-03-05 22:58 | 112K | |
![]() | quiz1.pdf | 2005-03-05 23:01 | 109K | |
![]() | quiz1sol.pdf | 2005-03-05 23:07 | 134K | |
![]() | quiz2.pdf | 2005-04-08 12:38 | 89K | |
![]() | quiz2sol.pdf | 2005-04-13 18:13 | 96K | |
![]() | scheme-equations.pdf | 2005-04-29 02:14 | 185K | |
![]() | scheme-refs.shtml | 2003-04-08 13:22 | 2.6K | |
![]() | semigroups.pdf | 2005-04-25 14:05 | 163K | |
![]() | submodel.pdf | 2005-04-08 10:06 | 196K | |
![]() | submodel/ | 2008-03-04 18:18 | - | |
![]() | submodel1.pdf | 2005-03-14 22:42 | 159K | |
![]() | subst.pdf | 2005-03-07 16:54 | 121K | |
![]() | substitution-lemma.shtml | 2005-03-06 00:08 | 2.2K | |
![]() | substitution-proof.shtml | 2005-02-18 01:27 | 7.3K | |
![]() | term-models.pdf | 2005-03-03 20:12 | 134K | |
![]() | totality.pdf | 2005-05-04 13:08 | 93K | |
![]() | variable-convention-sol.pdf | 2005-03-03 20:29 | 54K | |
![]() | variable-convention.pdf | 2005-03-03 20:28 | 39K | |