12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 02:52, 21 April 2009
, 02:52, 21 April 2009→Arisbe List (Mar 2001)
===Propositional Equation Reasoning Systems===
===Propositional Equation Reasoning Systems===
====Arisbe List (Mar 2001)====
====Arisbe List (Mar–Apr 2001)====
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380