Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2012-08
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
- DOI
-
10.14279/depositonce-10202
- Handle
-
11303/11317
- URN
-
urn:nbn:de:101:1-2020061702082772127645
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM 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
- Maximova, Maria
- Ehrig, Hartmut
- Ermel, Claudia
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
Termination and confluence : properties of structured rewrite systems
Confluence without Termination via Parallel Critical Pairs
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Confluence
The confluence of vision and control
Isomonodromic Deformations: Confluence, Reduction and Quantisation
FrameNet II: Extended theory and practice
FrameNet II: Extended theory and practice
Roland Fuhrmann: confluence
Completeness and confluence of order sorted term rewriting
Complexity results for confluence problems
How to Prove Ground Confluence
Termination and confluence : properties of structured rewrite systems
Confluence without Termination via Parallel Critical Pairs
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Confluence
The confluence of vision and control
Isomonodromic Deformations: Confluence, Reduction and Quantisation
FrameNet II: Extended theory and practice
FrameNet II: Extended theory and practice
Roland Fuhrmann: confluence
Completeness and confluence of order sorted term rewriting
Complexity results for confluence problems
How to Prove Ground Confluence
Termination and confluence : properties of structured rewrite systems
Confluence without Termination via Parallel Critical Pairs
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Confluence
The confluence of vision and control
Isomonodromic Deformations: Confluence, Reduction and Quantisation
FrameNet II: Extended theory and practice
FrameNet II: Extended theory and practice
Roland Fuhrmann: confluence
Completeness and confluence of order sorted term rewriting
Complexity results for confluence problems