Posts By: aed
| Date | Post | Topic |
| 01/18/2009 | String rewriting systems | Path Feasibility Analysis for String-Manipulating Programs |
| 12/12/2008 | Turing Omnibus | Light(er) Reading Suggestions? |
| 05/16/2008 | Bash 'n' Me | Lambda, the Ultimate TA |
| 05/17/2008 | Well... | Lambda, the Ultimate TA |
| 05/02/2008 | Chomsky Hierarchy | Is Halting Problem Valid for P? |
| 04/02/2008 | Zap | April 1st special: The War of the Worlds |
| 03/07/2008 | Illogical | Confused Deputies in Programming Languages |
| 11/04/2007 | [Off-Topic] Metablogorrhetical Exposition | On the origins of Bisimulation, Coinduction, and Fixed Points |
| 06/28/2007 | Hilbert & Gentzen | Simple ADT-based "side-band" state? |
| 02/27/2007 | Sturgeon's Law is "Nothing is always absolutely so"... | On the fact that the Atlantic Ocean has two sides |
| 02/27/2007 | Blues Traveler | On the fact that the Atlantic Ocean has two sides |
| 05/16/2007 | Prentice Hall International Series in Computer Science | Algebra Of Programming (Bird, De Moor) |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |