12,080
edits
Changes
Directory:Jon Awbrey/Papers/Syntactic Transformations (view source)
Revision as of 04:56, 3 February 2009
, 04:56, 3 February 2009→Syntactic Transformation Rules: correction
| <math>\operatorname{R6c.}</math>
| <math>\operatorname{R6c.}</math>
| <math>\operatorname{Conj_x^X}~ (f(x) ~=~ g(x))</math>
| <math>\operatorname{Conj_x^X}~ (f(x) ~=~ g(x))</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R6c~:~D6e}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R6c~:~D6b}</math>
|}
|}
|}
|}