12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 14:10, 3 June 2009
, 14:10, 3 June 2009→Mar 2001 : Propositional Equation Reasoning Systems: anchor links in several lists
Line 6,865:
Line 6,865:
# http://suo.ieee.org/email/msg04187.html
−# http://suo.ieee.org/email/msg04305.html
−# http://suo.ieee.org/email/msg04413.html
−# http://suo.ieee.org/email/msg04419.html
−# http://suo.ieee.org/email/msg04422.html
−# http://suo.ieee.org/email/msg04423.html
−# http://suo.ieee.org/email/msg04432.html
−# http://suo.ieee.org/email/msg04454.html
−# http://suo.ieee.org/email/msg04455.html
−# http://suo.ieee.org/email/msg04476.html
−# http://suo.ieee.org/email/msg04510.html
−# http://suo.ieee.org/email/msg04517.html
−# http://suo.ieee.org/email/msg04525.html
−# http://suo.ieee.org/email/msg04533.html
−# http://suo.ieee.org/email/msg04536.html
−# http://suo.ieee.org/email/msg04542.html
−# http://suo.ieee.org/email/msg04546.html
====Mar 2001 : Propositional Equation Reasoning Systems====
====Mar 2001 : Propositional Equation Reasoning Systems====
+* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
+* http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
+* http://suo.ieee.org/ontology/thrd74.html#01779
* http://suo.ieee.org/email/thrd186.html#04187
* http://suo.ieee.org/email/thrd186.html#04187
−====Dec 2001 : Functional Conception Of Quantificational Logic====
====Dec 2001 : Functional Conception Of Quantificational Logic====