Abstract rewriting system

Known as: Convergent rewriting system, Ars, Reduction relation 
In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Abstract rewriting systems are often defined as binary relations over a given set of objects. In this paper, we introduce a new… (More)
Is this relevant?
2010
2010
Rewriting Christian Sternagel and René Thiemann 
Is this relevant?
2006
2006
We develop an abstract computational model, the abstract rewriting system on multisets, called ARMS, to deal with systems with a… (More)
  • figure 4
  • figure 6
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
2006
2006
When rewriting is used to generate convergent and complete rewrite systems in order to answer the validity problem for some… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Several recent studies have reported & examined the phenomenon that long-running software systems show an increasing failure rate… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Recently, the phenomenon of software aging, one in which the state of the software system degrades with time, has been reported… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
reduction system, 7 AC, see acyclic Ackermann's function, 67 ACR~, see--Church-Rosser, almost acyclic, 68 AFS, see argument… (More)
Is this relevant?
1995
1995
Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term… (More)
  • figure 5
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1995
Highly Cited
1995
A formulation of semantic theories for processes which is based on reduction relation and equational reasoning is studied. The… (More)
Is this relevant?
1993
1993
Term rewriting is frequently used as implementation technique for algebraic speciications. In this paper we present the abstract… (More)
Is this relevant?