Skip to search formSkip to main contentSkip to account menu

Overlap (term rewriting)

In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Computer scienceCritical pair (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
On the laws of contraposition for residual implications derived from overlap functions
Overlap functions are aggregation operators used in the overlap problem or when the associativity is not required. Residual… 
2011
2011
Detection of explosive hazards using spectrum features from forward-looking ground penetrating radar imagery
Buried explosives have proven to be a challenging problem for which ground penetrating radar (GPR) has shown to be effective… 
2007
2007
Anytime Coordination Using Separable Bilinear Programs
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach… 
2005
2005
Controlling Item Exposure and Test Overlap in Computerized Adaptive Testing
This article proposes an item exposure control method, which is the extension of the Sympson and Hetter procedure and can provide… 
1998
1998
Comparing cosmic microwave background datasets
To extract reliable cosmic parameters from cosmic microwave background datasets, it is essential to show that the data are not… 
1978
1978
Middle-aged experienced teachers' perceptions of their career development /
3. Whan a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1977
1977
The relationship of program and student variables to student achievement in selected vocational trade and industrial education programs
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1974
1974
Effects of nitrogen on asexual and sexual reproduction of Peridinium cinctum f. ovoplanum Lindemann
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1973
1973
An Empirical Analysis of the Dual Labor Market Theory.
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1972
1972
The effects of reducing and masking the auditory cues accompanying performance of select gross motor tasks on the performance of those tasks.
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
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)