chapter AFP
session Relation_Algebra = Kleene_Algebra +
options [timeout = 600]
theories
More_Boolean_Algebra
Relation_Algebra
Relation_Algebra_Vectors
Relation_Algebra_Tests
Relation_Algebra_Functions
Relation_Algebra_Direct_Products
Relation_Algebra_RTC
Relation_Algebra_Models
document_files
"root.bib"
"root.tex"
[zur Elbe Produktseite wechseln0.13QuellennavigatorsAnalyse erneut starten2026-09-29]
