Invariants and closures in the theory of rewrite systems
type: Item
instance of: scholarly article
title: Invariants and closures in the theory of rewrite systems
zbMATH Open document ID: 0857.68067
DOI: 10.1007/BF01213534
author: Stefan Rönn
published in: Formal Aspects of Computing
publication date: 1996-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 943664
zbMATH Keywords: invariants
zbMATH Keywords: closures
zbMATH Keywords: rewrite systems
zbMATH Keywords: rewrite operator
MaRDI profile type: Publication
cites work: Q3898009
cites work: Q5639639
cites work: Q5590815
cites work: Q3994922
cites work: Q3673071
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Complete Sets of Reductions for Some Equational Theories
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
Recommended article: Infinitary rewriting: closure operators, equivalences and models
Recommended article: Complete involutive rewriting systems
Recommended article: Automated Reasoning
Recommended article: INFINITARY REWRITING: FOUNDATIONS REVISITED
Recommended article: Q4942275
Recommended article: Existence, Uniqueness, and Construction of Rewrite Systems
Recommended article: Invariants and Well-Foundedness in Program Algebra
Recommended article: Consistency and Completeness of Rewriting in the Calculus of Constructions
Recommended article: Q4535007
description: scientific article; zbMATH DE number 943664