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
2007
Review
2007
The Different Physical Mechanisms that Drive the Star-Formation Histories of Giant and Dwarf Galaxies
We present an analysis of star formation and nuclear activity in galaxies as a function of both luminosity and environment in the… 
Highly Cited
2007
Highly Cited
2007
Post−"Little Ice Age" retreat rates of glaciers around Billefjorden in central Spitsbergen, Svalbard
Twelve glaciers, representing various types, were investigated between 2000 and 2005, in a region adjacent to the northern… 
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
1998
Highly Cited
1998
Reliability simulation of component-based software systems
Prevalent Markovian and semi Markovian methods to predict the reliability and performance of component based heterogeneous… 
Highly Cited
1995
Highly Cited
1995
Postglacial emergence and distribution of late Weichselian ice-sheet loads in the northern Barents and Kara seas, Russia
Reconstructions of late Weichselian glacier coverage on the continental shelves of the Russian Arctic range from a large ice… 
Highly Cited
1993
Highly Cited
1993
Towards an automated tupling strategy
The tupling transformation strategy can be used to merge loops together by combining recursive calls and also to eliminate… 
Highly Cited
1991
Highly Cited
1991
A Cell Loss Recovery Method Using FEC in ATM Networks
This paper proposes a new cell loss recovery method to be applied to virtual paths (VP's) of ATM networks. Its advantages over… 
Highly Cited
1982
Highly Cited
1982
Fine-scale isotopic heterogeneity in the sub-Atlantic mantle
The isotopic composition of Sr and Nd in oceanic basalts reflects the character and chemical evolution of their source regions… 
Highly Cited
1980
Highly Cited
1980
Fabrication Process for Josephson Integrated Circuits
A process for fabricating experimental Josephson integrated circuits is described that is based primarily on the use of vacuum… 
Highly Cited
1973
Highly Cited
1973
A layered composite with a broken laminate
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)