http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting

Kassing, Jan-Christoph (Corresponding author)^RWTH* ; Frohn, Florian^RWTH* ; Giesl, Jürgen^RWTH*

In
Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024 : Proceedings/ Naoki Kobayashi, James Worrell editors. - Part 2, Seiten/Artikel-Nr: 206-228

2024

Konferenz/Event:27. International Conference on Foundations of Software Science and Computation Structures , Luxembourg City , Luxembourg , FoSSaCS 2024 , 2024-04-08 - 2024-04-11

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , Luxembourg City , Luxembourg , ETAPS 2024 , 2024-04-08 - 2024-04-11

ImpressumCham, Switzerland : Springer

Umfang206-228

ISBN978-3-031-57230-2, 978-3-031-57231-9, 978-3-031-57232-6

ReiheLecture Notes in Computer Science ; 14575

First Online: 06 April 2024

Online
DOI: 10.1007/978-3-031-57231-9_10
10.1007/978-3-031-57231-9_10
DOI: 10.18154/RWTH-2024-09697
URL: https://publications.rwth-aachen.de/record/995080/files/995080.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Programmiersprachen und Verifikation (121420)
2. Graduiertenkolleg UnRAVeL (080060)
3. Fachgruppe Informatik (120000)

Projekte

1. DFG project G:(GEPRIS)235950644 - Automatische Terminierungs- und Komplexitätsanalyse imperativer Programme (235950644) (235950644)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85190659262
WOS Core Collection: WOS:001284201400010

Interne Identnummern
RWTH-2024-09697
Datensatz-ID: 995080

Beteiligte Länder
Germany