12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:18, 24 March 2010
, 19:18, 24 March 2010→C<sub>3</sub>. Dominant form theorem: renumb figs
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_10.jpg|500px]] || (10)
| [[Image:PERS_Figure_10.jpg|500px]] || (1.2.3.a)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_11.jpg|500px]] || (11)
| [[Image:PERS_Figure_11.jpg|500px]] || (1.2.3.b)
|}
|}