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>