Quelle ROOT

Sprache: Isabelle

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.9 Sekunden (vorverarbeitet am 2026-06-10) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.