Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Abstract rewriting systemConfluence (abstract rewriting)Connected component (graph theory)Graph (discrete mathematics)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Automated composition of Web services via planning in asynchronous domains
Highly Cited
2004
Highly Cited
2004
Sequence-Specific Label-Free DNA Sensors Based on Silicon Nanowires
Highly sensitive and sequence-specific DNA sensors were fabricated based on silicon nanowires (SiNWs) with single stranded (ss… 
Highly Cited
2004
Highly Cited
2004
Single Crystal Nanowire Vertical Surround-Gate Field-Effect Transistor
Harnessing the potential of single crystal inorganic nanowires for practical advanced nanoscale applications requires not only… 
Highly Cited
2003
Highly Cited
2003
Submarine melting at the terminus of a temperate tidewater glacier, LeConte Glacier, Alaska, U.S.A.
Abstract Heat, fresh- and sea-water balances indicate that the late-summer rate of submarine melting at the terminus of tidewater… 
Highly Cited
2000
Highly Cited
2000
Termination of term rewriting using dependency pairs
Highly Cited
1997
Highly Cited
1997
Force Titrations and Ionization State Sensitive Imaging of Functional Groups in Aqueous Solutions by Chemical Force Microscopy
Chemical force microscopy (CFM) was used to probe interactions between ionizable and neutral functional groups in aqueous… 
Highly Cited
1995
Highly Cited
1995
A technique of state space search based on unfolding
  • K. McMillan
  • Formal Methods Syst. Des.
  • 1995
  • Corpus ID: 1863225
Unfoldings of Petri nets provide a method of searching the state space of concurrent systems without considering all possible… 
Highly Cited
1990
Highly Cited
1990
Iterative methods for image deblurring
The authors discuss the use of iterative restoration algorithms for the removal of linear blurs from photographic images that may… 
Highly Cited
1987
Highly Cited
1987
Electrogenic glutamate uptake is a major current carrier in the membrane of axolotl retinal glial cells
Glutamate is taken up avidly by glial cells in the central nervous system1. Glutamate uptake may terminate the transmitter action… 
Highly Cited
1972
Highly Cited
1972
A note on Hamiltonian circuits
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)