Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
(view source)
Revision as of 03:22, 1 October 2010
36 bytes added
,
03:22, 1 October 2010
+ place for discussion
Line 1:
Line 1:
+
==Place for Discussion==
+
+
…
+
==Formal extension : Cactus calculus==
==Formal extension : Cactus calculus==
Jon Awbrey
12,080
edits