12,089
edits
Changes
→Feb — Differential Analytic Turing Automata
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1235
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1235
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1240
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1240
* http://stderr.org/pipermail/inquiry/2004-June/thread.html#1630
===Apr — Propositional Equation Reasoning Systems===
===Apr — Propositional Equation Reasoning Systems===