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.
Review
2012
Review
2012
Motives for Facebook use and expressing "true self" on the Internet
Highly Cited
2006
Highly Cited
2006
Fast integer-pel and fractional-pel motion estimation for H.264/AVC
Highly Cited
2005
Highly Cited
2005
Automatic Service Composition Based on Behavioral Descriptions
This paper addresses the issue of automatic service composition. We first develop a framework in which the exported behavior of a… 
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
1999
Highly Cited
1999
Electrical and Photoinduced Degradation of Polyfluorene Based Films and Light-Emitting Devices
Degradation-induced changes in the structural and optical properties of the polyfluorene-based blue emitting films and LEDs are… 
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
Chemical Force Microscopy: Exploiting Chemically-Modified Tips To Quantify Adhesion, Friction, and Functional Group Distributions in Molecular Assemblies
Chemical force microscopy (CFM) has been used to measure adhesion and friction forces between probe tips and substrates… 
Review
1991
Review
1991
SDL - with applications from protocol specification
Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this… 
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
1984
Highly Cited
1984
Enhancing Self-Efficacy and Achievement Through Rewards and Goals: Motivational and Informational Effects
This experiment compared the effects of performance-contingent rewards and proximal goals on children's task motivation, self… 
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)