12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 16:40, 5 January 2009
, 16:40, 5 January 2009→Fragmata
===Cactus Language, Operator Variables, Reflection===
===Cactus Language, Operator Variables, Reflection===
====NKS Forum (Mar 2005)====
* http://forum.wolframscience.com/showthread.php?threadid=755
===Cactus Rules===
===Cactus Rules===
====Inquiry List (Mar 2004)====
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
====Ontology List====
* http://suo.ieee.org/ontology/thrd1.html#05486
* http://suo.ieee.org/ontology/thrd2.html#05489
===Extensions Of Logical Graphs===
===Extensions Of Logical Graphs===
====Ontology List====
* http://suo.ieee.org/ontology/msg03586.html
====Arisbe List (Dec 2001)====
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230
===Logic In Graphs===
===Logic In Graphs===
====NKS Forum====
* http://forum.wolframscience.com/showthread.php?threadid=726
===Propositional Equation Reasoning Systems===
===Propositional Equation Reasoning Systems===
====Arisbe List (Apr 2001)====
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
====Inquiry List (Mar 2003)====
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
===Theme One Program : Logical Cacti===
===Theme One Program : Logical Cacti===
====Inquiry List (Mar 2003)====
* http://stderr.org/pipermail/inquiry/2003-March/000114.html
====Inquiry List (Feb 2005)====
* http://stderr.org/pipermail/inquiry/2005-February/002360.html