On probabilistic term rewriting
type: Item
instance of: scholarly article
title: On probabilistic term rewriting
DOI: 10.1007/978-3-319-90686-7_9
author: Martin Avanzini
author: Ugo Dal Lago
author: Akihisa Yamada
publication date: 2018-07-09T00:00:00Z
full work available at URL: https://arxiv.org/abs/1802.09774
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6900730
describes a project that uses: PMaude
describes a project that uses: NaTT
describes a project that uses: Nagoya Termination Tool
MaRDI profile type: Publication
OpenAlex ID: W2788405769
description: scientific article; zbMATH DE number 6900730