Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 95,09
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1995
- Creator
-
Wirth, Claus-Peter
- URN
-
urn:nbn:de:hbz:386-kluedo-3501
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
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
- Wirth, Claus-Peter
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1995
Other Objects (12)
Conditional term rewriting systems, 1.. Orsay, France, July 8 - 10, 1987
Termersetzungssysteme : Term Rewriting
Conditional and typed rewriting systems : proceedings
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Conditional term rewriting systems : third international workshop, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
Conditional and typed rewriting systems : 4th international workshop ; proceedings
Parallelizing functional programs by term rewriting
Property analysis of term rewriting systems
Jungle evaluation for efficient term rewriting
Rewriting Pointer Dereferences in bcc with Clang: Syntactic sugar for BPF programs
Conditional term rewriting systems, 1.. Orsay, France, July 8 - 10, 1987
Termersetzungssysteme : Term Rewriting
Conditional and typed rewriting systems : proceedings
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Conditional term rewriting systems : third international workshop, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
Conditional and typed rewriting systems : 4th international workshop ; proceedings
Parallelizing functional programs by term rewriting
Property analysis of term rewriting systems
Jungle evaluation for efficient term rewriting
Rewriting Pointer Dereferences in bcc with Clang: Syntactic sugar for BPF programs
Conditional term rewriting systems, 1.. Orsay, France, July 8 - 10, 1987
Termersetzungssysteme : Term Rewriting
Conditional and typed rewriting systems : proceedings
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Conditional term rewriting systems : third international workshop, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
Conditional and typed rewriting systems : 4th international workshop ; proceedings
Parallelizing functional programs by term rewriting
Property analysis of term rewriting systems
Jungle evaluation for efficient term rewriting