chapter AFP
session Buchi_Complementation = "Transition_Systems_and_Automata" +
options [timeout = 1200]
theories
"Complementation"
"Complementation_Implement"
"Complementation_Final"
theories [condition = ISABELLE_MLTON]
"Complementation_Build"
document_files
"root.tex"
"root.bib"
export_files (in ".") [1]
"Buchi_Complementation.Complementation_Build:code/**"
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.9Bemerkung:
(vorverarbeitet am 2026-07-02)
¤
*Bot Zugriff
