- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
43 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9214
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik und Praktische Mathematik
- (when)
-
1992
- Creator
-
Buth, Karl-Heinz
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:09 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Buth, Karl-Heinz
- Inst. für Informatik und Praktische Mathematik
Time of origin
- 1992
Other Objects (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
Advanced topics in term rewriting
Simplification orders in term rewriting
Automating recursive definitions and termination proofs in higher-order logic
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
Advanced topics in term rewriting
Simplification orders in term rewriting
Automating recursive definitions and termination proofs in higher-order logic
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
Advanced topics in term rewriting
Simplification orders in term rewriting