Murg term rewrite systems
type: Item
instance of: scholarly article
title: Murg term rewrite systems
zbMATH Open document ID: 1191.68367
author: Sándor Vágvölgyi
published in: Information Processing Letters
publication date: 2010-06-09T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5719195
zbMATH Keywords: term rewrite systems
zbMATH Keywords: sets of descendants
zbMATH Keywords: formal languages
zbMATH Keywords: theory of computation
MaRDI profile type: Publication
full work available at URL: j.ipl.2008.05.021
OpenAlex ID: W1965701491
cites work: Q3686043
cites work: Q4847003
cites work: Characterizing confluence by rewrite closure and right ground term rewrite systems
cites work: Linear generalized semi-monadic rewrite systems effectively preserve recognizability
cites work: Q4198075
cites work: Decidable approximations of term rewriting systems
cites work: On ground-confluence of term rewriting systems
cites work: Q4938609
cites work: Rewriting Techniques and Applications
cites work: The reachability and related decision problems for monadic and semi-constructor TRSs
cites work: Some undecidability results concerning the property of preserving regularity
cites work: The unification problem for confluent right-ground term rewriting systems.
cites work: Deterministic tree pushdown automata and monadic tree rewriting systems
cites work: Q4033499
cites work: Q2723905
cites work: Right-linear half-monadic term rewrite systems
cites work: Descendants of a recognizable tree language for sets of linear monadic term rewrite rules
DOI: 10.1016/J.IPL.2008.05.021
Recommended article: Modular term rewriting systems and the termination
Recommended article: Q4799892
Recommended article: Extended term rewriting systems
Recommended article: Term Rewriting and Applications
Recommended article: Q3817590
Recommended article: Q4702599
Recommended article: Q4376886
Recommended article: Q5309373
Recommended article: Modular termination of prefix-constrained term rewrite systems
Recommended article: Reversible Term Rewriting
description: scientific article; zbMATH DE number 5719195