Newman's lemma

Known as: Diamond lemma, Diamond property, Newman lemma 
In mathematics, in the theory of rewriting systems, Newman's lemma, also commonly called the diamond lemma, states that a terminating (or strongly… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Detecting and analyzing dense groups or communities from social and information networks has attracted immense attention over the… (More)
  • table I
  • table II
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2017
Highly Cited
2017
The optical constants and their temperature derivatives have been determined for β′−NiAl from absorption and thermoreflectance… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
Highly Cited
2014
2006
2006
Confluence criteria for non-terminating rewrite systems are known to be rare and notoriously difficult to obtain. Here we prove a… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
For large state-space Markovian Decision Problems MonteCarlo planning is one of the few viable approaches to find near-optimal… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present techniques to prove termination and innermost termination of term rewriting systems automatically. In contrast to… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Software rejuvenation is the concept of gracefully terminating an application and immediately restarting it at a clean internal… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot… (More)
  • table 1
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… (More)
  • table I
  • table III
  • table V
  • table VI
  • table VII
Is this relevant?
Highly Cited
1978
Highly Cited
1978
A theory of memory retrieval is developed and is shown to apply over a range of experimental paradigms. Access to memory traces… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?