12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Dynamics And Logic (view source)
Revision as of 14:50, 12 June 2009
, 14:50, 12 June 2009→Related Documents: + links
===Apr 2004 — Propositional Equation Reasoning Systems===
===Apr 2004 — Propositional Equation Reasoning Systems===
* http://forum.wolframscience.com/archive/topic/297-1.html
* http://forum.wolframscience.com/printthread.php?threadid=297
* http://forum.wolframscience.com/showthread.php?threadid=297
* http://forum.wolframscience.com/showthread.php?threadid=297
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
===May 2004 — Dynamics And Logic===
===May 2004 — Dynamics And Logic===
* http://forum.wolframscience.com/archive/topic/420-1.html
* http://forum.wolframscience.com/printthread.php?threadid=420
* http://forum.wolframscience.com/showthread.php?threadid=420
* http://forum.wolframscience.com/showthread.php?threadid=420
* http://stderr.org/pipermail/inquiry/2004-May/thread.html#1400
* http://stderr.org/pipermail/inquiry/2004-May/thread.html#1400
===Nov 2004 — Change In Logic===
===Nov 2004 — Change In Logic===
* http://forum.wolframscience.com/archive/topic/632-1.html
* http://forum.wolframscience.com/printthread.php?threadid=632
* http://forum.wolframscience.com/showthread.php?threadid=632
* http://forum.wolframscience.com/showthread.php?threadid=632
* http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
* http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
===Dec 2004 — Differential Logic and Dynamic Systems===
===Dec 2004 — Differential Logic and Dynamic Systems===
* http://forum.wolframscience.com/archive/topic/636-1.html
* http://forum.wolframscience.com/printthread.php?threadid=636
* http://forum.wolframscience.com/showthread.php?threadid=636
* http://forum.wolframscience.com/showthread.php?threadid=636
* http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042
* http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042
===Jan 2005 — Cactus Language, Operator Variables, Reflection===
===Jan 2005 — Cactus Language, Operator Variables, Reflection===
* http://forum.wolframscience.com/archive/topic/755-1.html
* http://forum.wolframscience.com/printthread.php?threadid=755
* http://forum.wolframscience.com/showthread.php?threadid=755
* http://forum.wolframscience.com/showthread.php?threadid=755
* http://stderr.org/pipermail/inquiry/2005-January/thread.html#2245
* http://stderr.org/pipermail/inquiry/2005-January/thread.html#2245
===Feb 2005 — Logic In Graphs===
===Feb 2005 — Logic In Graphs===
* http://forum.wolframscience.com/archive/topic/726-1.html
* http://forum.wolframscience.com/printthread.php?threadid=726
* http://forum.wolframscience.com/showthread.php?threadid=726
* http://forum.wolframscience.com/showthread.php?threadid=726
* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2381
* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2381