Generated Models
Attention:
The files might be VERY BIG !!!
Models for I-Semirings
Dimension 2
Dimension 3
Dimension 4
Dimension 5
Dimension 6
Models for I-Semirings
Dimension 2
Dimension 3
Dimension 4
Dimension 5
Dimension 6
Models for I-Semirings with Tests
Dimension 2
Dimension 3
Dimension 4
Dimension 5
Models for Kleene Algebra
Dimension 2
Dimension 3
Dimension 4
Dimension 5
Models for Kleene Algebra with Tests
Dimension 2
Dimension 3
Dimension 4
Dimension 5
©2007. Peter Höfner