12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday January 06, 2025
Jump to navigationJump to searchDirectory: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>
|}
|}
|}
|}
