Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session First_Order_Rewriting = First_Order_Terms +
description "First-Order Rewriting"
options [timeout = 600]
sessions
Certification_Monads
"Transitive-Closure"
theories (*Preliminaries*)
FOR_Preliminaries
Option_Util
SubList
theories
Critical_Pairs
theories
Parallel_Rewriting
theories
Orthogonality
theories
Multistep
theories
Trs_Impl
theories
Rewrite_Relations_Impl
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
