| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Tree-Automata/ (Sammlung formaler Beweise Version 2026-5©) Datei vom 29.4.2026 mit Größe 429 B |
|
Quelle Tree.thySprache: Isabelle |
|||||||||||||||
|
(* Title: Tree Automata Author: Peter Lammich <peter dot lammich at uni-muenster.de> Maintainer: Peter Lammich <peter dot lammich at uni-muenster.de> *) section "Trees" theory Tree imports Main begin text_raw ‹\label{sec:tree}› text ‹ This theory defines trees as nodes with a label and a list of subtrees. › datatype 'l tree = NODE 'l "'l tree list" datatype_compat tree end
¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09