Elimination of conditions
type: Item
instance of: scholarly article
title: Elimination of conditions
zbMATH Open document ID: 0943.68098
author: Patrick Viry
published in: Journal of Symbolic Computation
publication date: 2000-05-08T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1440294
zbMATH Keywords: conditional rewrite systems
MaRDI profile type: Publication
OpenAlex ID: W1983900683
cites work: Conditional rewrite rules: Confluence and termination
cites work: Q3217583
cites work: Q3750994
cites work: Q4385532
cites work: A rationale for conditional equational programming
cites work: Q3210187
cites work: Conditional rewriting logic as a unified model of concurrency
DOI: 10.1006/JSCO.1999.0288
description: scientific article; zbMATH DE number 1440294