Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session MSO_Regex_Equivalence = HOL +
options [timeout = 2400]
sessions
"HOL-Library"
"List-Index"
Deriving
theories [document = false]
List_More
theories
Pi_Regular_Set
Pi_Regular_Exp
Pi_Derivatives
Pi_Regular_Operators
Pi_Regular_Exp_Dual
Pi_Equivalence_Checking
Init_Normalization
PNormalization
Formula
M2L
M2L_Normalization
M2L_Equivalence_Checking
WS1S
WS1S_Normalization
WS1S_Equivalence_Checking
theories [document = false]
M2L_Examples
WS1S_Examples
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.7 Sekunden, vorverarbeitet 2026-09-29]
