Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"
MyWikiBiz, Author Your Legacy — Monday December 30, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
Line 36: | Line 36: | ||
===Propositional Equation Reasoning Systems=== | ===Propositional Equation Reasoning Systems=== | ||
− | ====Arisbe List ( | + | ====Arisbe List (Mar 2001)==== |
− | * http://stderr.org/pipermail/arisbe/2001-April/000409.html | + | * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380 |
+ | : http://stderr.org/pipermail/arisbe/2001-April/000409.html | ||
====Inquiry List (Mar 2003)==== | ====Inquiry List (Mar 2003)==== |