![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | index.shtml | 2023-01-11 18:19 | 6.5K | |
![]() | resume.shtml | 2020-10-16 17:45 | 13K | |
![]() | iandc-WWW/ | 2020-02-14 18:01 | - | |
![]() | machtey-special-issue-preface.pdf | 2016-12-28 18:41 | 149K | |
![]() | Sequential Boolean equations.pdf | 2016-12-28 18:40 | 782K | |
![]() | PDL-deducibility.pdf | 2016-12-06 01:31 | 630K | |
![]() | relativized-complexity.pdf | 2016-12-06 01:27 | 3.7M | |
![]() | Reachability-Computer-Programs.pdf | 2016-11-27 13:42 | 333K | |
![]() | technion-talk-oct27-2016.pptx | 2016-10-26 16:01 | 11M | |
![]() | mcs.pdf | 2015-05-18 01:43 | 10M | |
![]() | staff-solutions | 2015-04-23 17:02 | 168K | |
![]() | MayerA_PortraitSimple152757.jpg | 2013-08-09 09:02 | 3.7M | |
![]() | MayerA_PortraitSimple152752.jpg | 2013-08-09 09:02 | 3.4M | |
![]() | sex-degrees.pdf | 2013-04-13 19:13 | 211K | |
![]() | reat-time-counter-machines.pdf | 2012-06-16 13:41 | 274K | |
![]() | counter-machines-and-counter-languages-theoryofcomputingsystems.pdf | 2012-06-16 13:23 | 1.2M | |
![]() | time-restricted-sequence-generation-jcss.pdf | 2012-06-16 12:57 | 1.0M | |
![]() | albert-yellow-tie-680.jpg | 2010-10-24 18:07 | 213K | |
![]() | albert-yellow-tie-680.pdf | 2010-10-24 18:06 | 552K | |
![]() | albert-yellow-tie.jpg | 2010-10-24 15:54 | 190K | |
![]() | UAT-F10/ | 2010-10-22 20:28 | - | |
![]() | Greece.zip | 2010-09-07 20:57 | 258M | |
![]() | chupah.pdf | 2010-08-25 21:13 | 3.6M | |
![]() | chupah-55M.pdf | 2010-08-25 19:26 | 55M | |
![]() | ketubah-IG-ARM.pdf | 2010-07-13 01:04 | 20M | |
![]() | proofs-ftl-edit.pdf | 2010-06-18 08:22 | 64K | |
![]() | proofs-edit.pdf | 2010-06-18 08:21 | 65K | |
![]() | induction-ftl-edit.pdf | 2010-06-17 23:50 | 267K | |
![]() | induction-edit.pdf | 2010-06-17 23:50 | 287K | |
![]() | templates-ftl-edit.pdf | 2010-06-17 22:11 | 180K | |
![]() | templates-edit.pdf | 2010-06-17 22:10 | 204K | |
![]() | mcs-ftl-edit-6-17-10-reordered-chapters.pdf | 2010-06-17 22:09 | 3.1M | |
![]() | mcs-edit-6-17-10-reordered-chapters.pdf | 2010-06-17 22:08 | 3.6M | |
![]() | number_theory-ftl-edit.pdf | 2010-06-17 18:18 | 391K | |
![]() | number_theory-edit.pdf | 2010-06-17 18:17 | 405K | |
![]() | propositions-ftl-edit.pdf | 2010-06-17 16:37 | 214K | |
![]() | propositions-edit.pdf | 2010-06-17 16:36 | 285K | |
![]() | finalsol.pdf | 2010-06-15 18:12 | 316K | |
![]() | mcs-diffs.pdf | 2010-06-15 11:42 | 2.4M | |
![]() | remarks-on-algebraic-decomposition.pdf | 2010-04-23 13:29 | 478K | |
![]() | graph-figs/ | 2009-09-24 22:57 | - | |
![]() | remap-files/ | 2009-09-08 19:37 | - | |
![]() | sdsetup.exe | 2009-06-28 13:42 | 23M | |
![]() | transfer-form-distributed.pdf | 2009-01-29 11:14 | 831K | |
![]() | transfer-form-to-print.pdf | 2009-01-29 10:37 | 633K | |
![]() | transfer-form-dynamic.pdf | 2009-01-26 09:15 | 634K | |
![]() | downfiles/ | 2008-07-25 13:38 | - | |
![]() | 6042-notes-spring08.pdf | 2008-05-17 13:03 | 1.9M | |
![]() | Stockmeyer-thesis.pdf | 2007-08-24 12:05 | 12M | |
![]() | 6001/ | 2007-08-20 10:19 | - | |
![]() | 6042-spring07-slides.pdf | 2007-08-16 21:53 | 9.2M | |
![]() | UAT-06/ | 2006-10-04 10:19 | - | |
![]() | puzzle.pdf | 2005-07-30 18:40 | 141K | |
![]() | Stockmeyer-symposium.pdf | 2005-06-12 21:58 | 90K | |
![]() | Stockmeyer-symposium.ppt | 2005-05-22 18:48 | 90K | |
![]() | vita.pdf | 2004-04-30 14:00 | 113K | |
![]() | rsq.pdf | 2004-04-30 12:31 | 336K | |
![]() | Scheme_Theory_handouts.pdf | 2003-12-09 19:22 | 142K | |
![]() | Scheme_Theory.ppt | 2003-12-09 19:21 | 193K | |
![]() | BCBT.pdf | 2003-07-21 23:18 | 362K | |
![]() | meyer3.jpg | 2003-07-21 18:43 | 10K | |
![]() | meyer2.jpg | 2003-07-21 18:27 | 18K | |
![]() | meyer4.jpg | 2003-07-21 18:04 | 16K | |
![]() | meyer.jpg | 2003-07-21 18:04 | 16K | |
![]() | monadic-TM38.pdf | 2003-07-17 02:12 | 729K | |
![]() | equivalence-probs.pdf | 2003-07-16 23:44 | 4.0M | |
![]() | economy-of-description.pdf | 2003-07-16 23:33 | 3.6M | |
![]() | weak-monadic.pdf | 2003-07-16 22:08 | 8.7M | |
![]() | complexity-of-ordered-set-logics.tif | 2003-07-16 21:53 | 552K | |
![]() | fischer-fest.pdf | 2003-07-13 23:41 | 928K | |
![]() | fest.pdf | 2003-07-13 23:41 | 928K | |
![]() | fischer-fest.ppt | 2003-07-13 23:33 | 1.7M | |
![]() | fest.ppt | 2003-07-13 23:33 | 1.7M | |
![]() | stock-circuit-jacm.pdf | 2003-07-10 16:36 | 271K | |
![]() | bloom.pdf | 2003-07-08 11:37 | 1.1M | |
![]() | meyer-mccreight.pdf | 2003-07-08 09:53 | 681K | |
![]() | meyer-ritchie.pdf | 2003-07-08 09:52 | 440K | |
![]() | meyer-stockmeyer-word-probs.pdf | 2003-07-07 17:35 | 592K | |
![]() | Icons/ | 2002-10-04 00:34 | - | |
![]() | reports.xls | 2001-12-23 12:57 | 774K | |
![]() | NORM-grades.xls | 2001-12-23 12:57 | 2.4M | |
![]() | OxygenXProposal2.doc | 2001-08-30 20:08 | 23K | |
![]() | OxygenXProposal2.desc | 2001-08-30 20:08 | 3.6K | |
![]() | distancelearn-4up.ps | 1998-11-09 17:27 | 35K | |
![]() | distancelearn.ps | 1998-11-09 17:07 | 31K | |
![]() | pipeline.tiff | 1998-11-09 16:19 | 1.2M | |
![]() | AreaII/ | 1996-03-29 03:30 | - | |
![]() | sicomp.ps | 1995-09-10 18:35 | 341K | |
![]() | meyer2.gif | 1994-09-26 12:10 | 34K | |
![]() | meyer.gif | 1994-08-11 15:15 | 117K | |
![]() | Elaine-hangzhou-march2011/ | 1979-12-31 23:00 | - | |