- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.1007/s10009-022-00670-2
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2022
- Urheber
-
Frohn, Florian
Fuhs, Carsten
- DOI
-
10.18154/RWTH-2022-09952
- URN
-
urn:nbn:de:101:1-2022111900395208520649
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
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
- Frohn, Florian
- Fuhs, Carsten
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2022
Ähnliche Objekte (12)
Automated termination proofs
Termination Proofs of Rewriting Systems
Continuous semantics for termination proofs
Termination proofs for logic programs
Termination proofs for logic programs
A region graph based approach to termination proofs
A Region Graph Based Approach to Termination Proofs
Termination proofs and derivation lengths in term rewriting systems
Electron and positron acceleration at pulsar wind termination shocks
Electron and positron acceleration at pulsar wind termination shocks
Automating recursive definitions and termination proofs in higher-order logic
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
Automated termination proofs
Termination Proofs of Rewriting Systems
Continuous semantics for termination proofs
Termination proofs for logic programs
Termination proofs for logic programs
A region graph based approach to termination proofs
A Region Graph Based Approach to Termination Proofs
Termination proofs and derivation lengths in term rewriting systems
Electron and positron acceleration at pulsar wind termination shocks
Electron and positron acceleration at pulsar wind termination shocks
Automating recursive definitions and termination proofs in higher-order logic
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
Automated termination proofs
Termination Proofs of Rewriting Systems
Continuous semantics for termination proofs
Termination proofs for logic programs
Termination proofs for logic programs
A region graph based approach to termination proofs
A Region Graph Based Approach to Termination Proofs
Termination proofs and derivation lengths in term rewriting systems
Electron and positron acceleration at pulsar wind termination shocks
Electron and positron acceleration at pulsar wind termination shocks
Automating recursive definitions and termination proofs in higher-order logic