| Line 114: |
Line 114: |
| | | | |
| | * http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178 | | * http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178 |
| | + | |
| | + | ===Feb — Differential Analytic Turing Automata=== |
| | + | |
| | + | * http://forum.wolframscience.com/archive/topic/228-1.html |
| | + | * http://forum.wolframscience.com/printthread.php?threadid=228 |
| | + | * http://forum.wolframscience.com/showthread.php?threadid=228 |
| | + | * http://stderr.org/pipermail/inquiry/2004-February/thread.html#1228 |
| | + | * http://stderr.org/pipermail/inquiry/2004-March/thread.html#1235 |
| | + | * http://stderr.org/pipermail/inquiry/2004-March/thread.html#1240 |
| | + | * http://stderr.org/pipermail/inquiry/2004-June/thread.html#1630 |
| | | | |
| | ===Apr — Propositional Equation Reasoning Systems=== | | ===Apr — Propositional Equation Reasoning Systems=== |
| Line 125: |
Line 135: |
| | ===May — Dynamics And Logic=== | | ===May — 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 |
| Line 131: |
Line 143: |
| | ===Nov — Change In Logic=== | | ===Nov — 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 |
| Line 136: |
Line 150: |
| | ===Dec — Differential Logic and Dynamic Systems=== | | ===Dec — 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 |
| | + | |
| | + | ===Dec — Language Of Cacti=== |
| | + | |
| | + | * http://forum.wolframscience.com/archive/topic/649-1.html |
| | + | * http://forum.wolframscience.com/printthread.php?threadid=649 |
| | + | * http://forum.wolframscience.com/showthread.php?threadid=649 |
| | + | * http://stderr.org/pipermail/inquiry/2004-December/thread.html#2135 |
| | | | |
| | ==2005== | | ==2005== |
| Line 143: |
Line 166: |
| | ===Jan — Cactus Language, Operator Variables, Reflection=== | | ===Jan — 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 |
| Line 153: |
Line 178: |
| | ===Feb — Logic In Graphs=== | | ===Feb — 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 |