12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:54, 27 April 2013
, 17:54, 27 April 2013→Fundamental evaluation rule: add caption [Fundamental Evaluation Rule]
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Evaluation Rule |
| Fundamental Evaluation Rule |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |