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