12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 15:30, 5 January 2009
, 15:30, 5 January 2009→Arisbe List
===Arisbe List===
===Arisbe List===
====Propositional Equation Reasoning Systems====
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
====Extensions Of Logical Graphs====
* http://stderr.org/pipermail/arisbe/2001-December/001230.html
* http://stderr.org/pipermail/arisbe/2001-December/001230.html