Changes

Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

No change in size , 16:00, 22 September 2009

Line 1,222: Line 1,222:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"

−

|+ <math>\text{Table A3.}~~\operatorname{E}f ~\text{Expanded ~~Over~~ Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>

+

|+ <math>\text{Table A3.}~~\operatorname{E}f ~\text{Expanded over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>

|- style="background:#f0f0ff"

| width="10%" |  

Line 1,496: Line 1,496:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"

−

|+ <math>\text{Table A4.}~~\operatorname{D}f ~\text{Expanded ~~Over~~ Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>

+

|+ <math>\text{Table A4.}~~\operatorname{D}f ~\text{Expanded over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>

|- style="background:#f0f0ff"

| width="10%" |  

Line 1,764: Line 1,764:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"

−

|+ <math>\text{Table A5.}~~\operatorname{E}f ~\text{Expanded ~~Over~~ Ordinary Features}~ \{ p, q \}</math>

+

|+ <math>\text{Table A5.}~~\operatorname{E}f ~\text{Expanded over Ordinary Features}~ \{ p, q \}</math>

|- style="background:#f0f0ff"

| width="10%" |  

Line 2,024: Line 2,024:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"

−

|+ <math>\text{Table A6.}~~\operatorname{D}f ~\text{Expanded ~~Over~~ Ordinary Features}~ \{ p, q \}</math>

+

|+ <math>\text{Table A6.}~~\operatorname{D}f ~\text{Expanded over Ordinary Features}~ \{ p, q \}</math>

|- style="background:#f0f0ff"

| width="10%" |  

12,080

edits