- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
43 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9214
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik und Praktische Mathematik
- (wann)
-
1992
- Urheber
-
Buth, Karl-Heinz
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:09 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Buth, Karl-Heinz
- Inst. für Informatik und Praktische Mathematik
Entstanden
- 1992
Ähnliche Objekte (12)
Termination proofs and derivation lengths in term rewriting systems
Termination Proofs of Rewriting Systems
Certifying Proofs in the First-Order Theory of Rewriting
Termersetzungssysteme : Term Rewriting
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Term rewriting : advanced course
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Automating recursive definitions and termination proofs in higher-order logic
Advanced topics in term rewriting
Simplification orders in term rewriting
Termination proofs and derivation lengths in term rewriting systems
Termination Proofs of Rewriting Systems
Certifying Proofs in the First-Order Theory of Rewriting
Termersetzungssysteme : Term Rewriting
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Term rewriting : advanced course
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Automating recursive definitions and termination proofs in higher-order logic
Advanced topics in term rewriting
Simplification orders in term rewriting
Termination proofs and derivation lengths in term rewriting systems
Termination Proofs of Rewriting Systems
Certifying Proofs in the First-Order Theory of Rewriting
Termersetzungssysteme : Term Rewriting
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Term rewriting : advanced course
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Automating recursive definitions and termination proofs in higher-order logic
Advanced topics in term rewriting