- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.1007/978-3-031-63501-4_19
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2024
- Urheber
-
Kassing, Jan-Christoph
Vartanyan, Grigory
Giesl, Jürgen
- DOI
-
10.18154/RWTH-2024-08380
- URN
-
urn:nbn:de:101:1-2410170134234.114638042886
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:35 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
- Kassing, Jan-Christoph
- Vartanyan, Grigory
- Giesl, Jürgen
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2024
Ähnliche Objekte (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
Termination of rewriting : extensions, comparison and automatic generation of simplification orderings
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
Termination of rewriting : extensions, comparison and automatic generation of simplification orderings
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