# Differences

This shows you the differences between two versions of the page.

action_algebras [2010/07/29 15:22] 127.0.0.1 external edit |
action_algebras [2012/06/23 20:39] (current) jipsen |
||
---|---|---|---|

Line 7: | Line 7: | ||

- | $\langle A,\vee,\bot,\cdot,1,^*\rangle$ is a [[Kleene algebras]] | + | $\langle A,\vee,\bot,\cdot,1,^*\rangle$ is a [[Kleene algebra]] |

Line 16: | Line 16: | ||

- | Remark: | + | Remark: These equivalences can be written equationally. |

Line 59: | Line 59: | ||

f(4)= &20\\ | f(4)= &20\\ | ||

f(5)= &149\\ | f(5)= &149\\ | ||

- | f(6)= &1488\\ | + | f(6)= &1488 |

\end{array}$ | \end{array}$ | ||

Line 77: | Line 77: | ||

Vaughan Pratt, \emph{Action logic and pure induction}, | Vaughan Pratt, \emph{Action logic and pure induction}, | ||

``Logics in AI (Amsterdam, 1990)'', Lecture Notes in Comput. Sci., | ``Logics in AI (Amsterdam, 1990)'', Lecture Notes in Comput. Sci., | ||

- | 478, 1991, 97--120, 92d:03016 | + | 478, 1991, 97--120, 92d:03016)] |

[(AltRaf2004> | [(AltRaf2004> |

Trace: