On multiset orderings
type: Item
instance of: scholarly article
title: On multiset orderings
zbMATH Open document ID: 0486.68041
DOI: 10.1016/0020-0190(82)90107-7
author: Jean-Pierre Jouannaud
author: Pierre Lescanne
published in: Information Processing Letters
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q99
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3765141
zbMATH Keywords: well-founded orderings on multisets
zbMATH Keywords: Dershowitz-Manna ordering
zbMATH Keywords: lack of monotonicity
zbMATH Keywords: termination of programs
zbMATH Keywords: term rewriting systems
MaRDI profile type: Publication
Wikidata QID: Q60164218
full work available at URL: 0020-0190(82)90107-7
OpenAlex ID: W2090541423
cites work: Proving termination with multiset orderings
description: scientific article; zbMATH DE number 3765141