This webpage is under construction (and might be so for a long time). If you are looking for
the
proof database containing
input and output files of proof experiments with
- idempotent semirings and Kleene algebras,
- idempotent semirings and Kleene algebras with tests,
- modal semirings and modal Kleene algebras,
- omega algebras (with tests),
- demonic refinement algebras,
- boolean algebras with operators,
- relation algebras.
please click
here.
Feedback will be appreciated. Please send any kind of comments to
Peter Höfner.
|
|
©2007—2013. Peter Höfner
last update: April, 4
|