On probabilistic term rewriting

DOI10.1007/978-3-319-90686-7_9MaRDI QIDQ1648879zbMATH OpenOpenAlexFDO

Authors Martin Avanzini, Ugo Dal Lago, Akihisa Yamada

Publication date 9 July 2018

Full work available at URL https://arxiv.org/abs/1802.09774

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Term Rewriting and Applications
• Proving Positive Almost Sure Termination Under Strategies
• Termination of term rewriting by interpretation
• Matrix interpretations for proving termination of term rewriting
• Matrix Interpretations for Proving Termination of Term Rewriting

Cited in

(16)

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• Inferring expected runtimes of probabilistic integer programs using expected sizes
• On randomised strategies in the \(\lambda \)-calculus
• Probabilistic termination by monadic affine sized typing
• On the termination problem for probabilistic higher-order recursive programs
• Automated termination analysis of polynomial probabilistic programs
• Proving Positive Almost Sure Termination Under Strategies
• On lexicographic proof rules for probabilistic termination
• scientific article; zbMATH DE number 7566061 (Why is no real title available?)
• Confluence and convergence in probabilistically terminating reduction systems
• Confluence in probabilistic rewriting
• Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
• Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
• Quantum expectation transformers for cost analysis
• scientific article; zbMATH DE number 7559285 (Why is no real title available?)
• scientific article; zbMATH DE number 7456060 (Why is no real title available?)

Describes a project that uses

Uses Software

• NaTT
• Nagoya Termination Tool
• PMaude

This page was built for publication: On probabilistic term rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648879)