Quelle ROOT

Sprache: Text

Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

chapter AFP

session First_Order_Terms = "Abstract-Rewriting" +
  description "First-Order Terms"
  options [timeout = 300]
  sessions
    "HOL-Library"
    Certification_Monads
    Polynomial_Factorization
    Show
    Fresh_Identifiers
  theories
    Transitive_Closure_More
  theories
    Renaming2_String
  theories
    Seq_More
    Fun_More2
    Option_Monad
  theories
    Matching
    Subterm_and_Context
    Unification_String
    Subsumption
  theories
    Position
    Term_More
    Term_Impl
    Unification_More
  document_files
    "root.tex"
    "root.bib"

¤ Dauer der Verarbeitung: 0.8 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.