From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting (English)
Free access
- New search for: Kassing, Jan-Christoph
- Further information on Kassing, Jan-Christoph:
- https://orcid.org/http://orcid.org/0009-0001-9972-2470
- New search for: Frohn, Florian
- Further information on Frohn, Florian:
- https://orcid.org/http://orcid.org/0000-0003-0902-1994
- New search for: Giesl, Jürgen
- Further information on Giesl, Jürgen:
- https://orcid.org/http://orcid.org/0000-0003-0283-8520
- New search for: Kobayashi, Naoki
- New search for: Worrell, James
- New search for: Kassing, Jan-Christoph
- Further information on Kassing, Jan-Christoph:
- https://orcid.org/http://orcid.org/0009-0001-9972-2470
- New search for: Frohn, Florian
- Further information on Frohn, Florian:
- https://orcid.org/http://orcid.org/0000-0003-0902-1994
- New search for: Giesl, Jürgen
- Further information on Giesl, Jürgen:
- https://orcid.org/http://orcid.org/0000-0003-0283-8520
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, Part II
;
Chapter: 10
;
206-228
;
2024
- Article/Chapter (Book) / Electronic Resource
-
Title:From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
-
Additional title:Lect.Notes Computer
-
Contributors:Kobayashi, Naoki ( editor ) / Worrell, James ( editor ) / Kassing, Jan-Christoph ( author ) / Frohn, Florian ( author ) / Giesl, Jürgen ( author )
-
Conference:International Conference on Foundations of Software Science and Computation Structures ; 2024 ; Luxembourg City, Luxembourg
-
Published 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, Part II ; Chapter: 10 ; 206-228Lecture Notes in Computer Science ; 14575 ; 206-228
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2024-04-06
-
Size:23 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
From Rewrite Rules to Axioms in the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda \varPi $$\end{document}-Calculus Modulo TheoryBlot, Valentin / Dowek, Gilles / Traversié, Thomas / Winterhalter, Théo et al. | 2024
- 2
-
Light GenericityAccattoli, Beniamino / Lancelot, Adrienne et al. | 2024
- 3
-
Logical Predicates in Higher-Order Mathematical Operational SemanticsGoncharov, Sergey / Santamaria, Alessio / Schröder, Lutz / Tsampas, Stelios / Urbat, Henning et al. | 2024
- 4
-
On Basic Feasible Functionals and the Interpretation MethodBaillot, Patrick / Dal Lago, Ugo / Kop, Cynthia / Vale, Deivid et al. | 2024
- 5
-
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof SystemsGeatti, Luca / Mansutti, Alessio / Montanari, Angelo et al. | 2024
- 6
-
A Resolution-Based Interactive Proof System for UNSATCzerner, Philipp / Esparza, Javier / Krasotin, Valentin et al. | 2024
- 7
-
Craig Interpolation for Decidable First-Order Fragmentsten Cate, Balder / Comer, Jesse et al. | 2024
- 8
-
Clones, closed categories, and combinatory logicSaville, Philip et al. | 2024
- 9
-
Reachability in Fixed VASS: Expressiveness and Lower BoundsDraghici, Andrei / Haase, Christoph / Ryzhikov, Andrew et al. | 2024
- 10
-
From Innermost to Full Almost-Sure Termination of Probabilistic Term RewritingKassing, Jan-Christoph / Frohn, Florian / Giesl, Jürgen et al. | 2024
- 11
-
Dimension-Minimality and Primality of Counter NetsAlmagor, Shaull / Avni, Guy / Sinclair-Banks, Henry / Yeshurun, Asaf et al. | 2024
- 12
-
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of DecidabilityGuillou, Lucie / Mascle, Corto / Waldburger, Nicolas et al. | 2024