Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"

MyWikiBiz, Author Your Legacy — Sunday December 22, 2024
Jump to navigationJump to search
Line 47: Line 47:
  
 
* http://forum.wolframscience.com/showthread.php?threadid=755
 
* http://forum.wolframscience.com/showthread.php?threadid=755
 +
 +
==Index==
 +
 +
===Cactus Language, Operator Variables, Reflection===
 +
 +
* http://forum.wolframscience.com/showthread.php?threadid=755
 +
 +
===Cactus Rules===
 +
 +
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
 +
 +
===Extensions Of Logical Graphs===
 +
 +
* http://suo.ieee.org/ontology/msg03586.html
 +
 +
===Logic In Graphs===
 +
 +
* http://forum.wolframscience.com/showthread.php?threadid=726
 +
 +
===Propositional Equation Reasoning Systems===
 +
 +
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
 +
 +
===Theme One Program : Logical Cacti===
 +
 +
* http://stderr.org/pipermail/inquiry/2003-March/000114.html
 +
* http://stderr.org/pipermail/inquiry/2005-February/002360.html

Revision as of 16:20, 5 January 2009

Fragmata

Ontology List

Extensions of Logical Graphs

Cactus Rules

  1. http://suo.ieee.org/ontology/msg05486.html

Arisbe List

Propositional Equation Reasoning Systems

Extensions Of Logical Graphs

Inquiry List

Theme One Program : Logical Cacti

Propositional Equation Reasoning Systems

Cactus Rules

NKS Forum

Logic In Graphs

Cactus Language, Operator Variables, Reflection

Index

Cactus Language, Operator Variables, Reflection

Cactus Rules

Extensions Of Logical Graphs

Logic In Graphs

Propositional Equation Reasoning Systems

Theme One Program : Logical Cacti