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
An adaptive fuzzy evidential nearest neighbor formulation for classifying remote sensing images
The paper presents a novel adaptive fuzzy evidential nearest neighbor formulation for classifying remotely sensed images. The… 
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
1995
Highly Cited
1995
Intelligent paging strategies for third generation mobile telecommunication systems
Location management procedures, in conjunction with the millions of users expected to subscribe to third generation mobile… 
1994
1994
Characterization of ø393-A2, a bacteriophage that infects Lactobacillus casei
Bacteriophage o393-A2, isolated from an artisanal cheese whey sample, is a temperate phage able to generate stable lysogens… 
1992
1992
Generalized sufficient conditions for modular termination of rewriting
Modular properties of term rewriting systems, i.e. properties which are preserved under disjoint unions, have attracted an… 
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
Highly Cited
1951
Highly Cited
1951
Spiral Growth on Carborundum Crystal Faces
In 1949 Frank1,2 pointed out the possibility that growth of crystals at low supersaturations, essential for good crystals, could… 
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)