- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-031-63501-4_19
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2024
- Creator
-
Kassing, Jan-Christoph
Vartanyan, Grigory
Giesl, Jürgen
- DOI
-
10.18154/RWTH-2024-08380
- URN
-
urn:nbn:de:101:1-2410170134234.114638042886
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 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
- Kassing, Jan-Christoph
- Vartanyan, Grigory
- Giesl, Jürgen
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2024
Other Objects (12)
Relative Termination via Dependency Pairs
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Proving and disproving termination in the dependency pair framework
Termination Proofs of Rewriting Systems
Relative Termination
Relative termination
On termination of single pushout graph rewriting
Termination proofs and derivation lengths in term rewriting systems
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination of rewriting : extensions, comparison and automatic generation of simplification orderings
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
Relative Termination via Dependency Pairs
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Proving and disproving termination in the dependency pair framework
Termination Proofs of Rewriting Systems
Relative Termination
Relative termination
On termination of single pushout graph rewriting
Termination proofs and derivation lengths in term rewriting systems
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination of rewriting : extensions, comparison and automatic generation of simplification orderings
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
Relative Termination via Dependency Pairs
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Proving and disproving termination in the dependency pair framework
Termination Proofs of Rewriting Systems
Relative Termination
Relative termination
On termination of single pushout graph rewriting
Termination proofs and derivation lengths in term rewriting systems
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination of rewriting : extensions, comparison and automatic generation of simplification orderings