On probabilistic term rewriting

DOI10.1007/978-3-319-90686-7_9OpenAlexW2788405769MaRDI QIDQ1648879

Martin Avanzini, Akihisa Yamada, Ugo Dal Lago

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)

Related Items (7)

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems ⋮ Automated termination analysis of polynomial probabilistic programs ⋮ On randomised strategies in the \(\lambda \)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Inferring expected runtimes of probabilistic integer programs using expected sizes ⋮ Unnamed Item

Uses Software

• PMaude
• Nagoya Termination Tool
• NaTT

This page was built for publication: On probabilistic term rewriting