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.
2013
2013
An Efficient Approaches For Privacy Preserving In Microdata Publishing Using Slicing and Partitioning Technique
Privacy preserving publishing is the kind of techniques to apply privacy to collected vast amount of data. The data publication… 
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… 
2004
2004
Mars Exploration Rovers orbit determination filter strategy
§†† ‡‡ §§ §§ , The successful delivery of the Mars Exploration Rover (MER) landers to well within the boundaries of their surface… 
2000
2000
Explaining Rare Events in International Relations1
Some of the most important phenomena in international con ict are coded as \rare events data," binary dependent variables with… 
1977
1977
A factorial approach in the development of a basketball rating scale to evaluate players in a game situation
The primary purpose of this research was to develop a valid and reliable rating scale for use in evaluating the physical… 
1977
1977
A comparison of expected and observed piano skills required of public school music teachers in the state of North Carolina
The problem of this study was to determine if the performance standards imposed on the music education major are comparable to… 
1977
1977
Mood and symptoms of expectant fathers during the course of pregnancy
This study was designed to examine the general emotional state of expectant fathers and symptom manifestation of expectant… 
1976
1976
The development of knowledge dissemination and utilization strategies : the Benchmark Program /
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1975
1975
A study of the self health rating : a demonstration study with a public assistance population in a rehabilitation program /
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1972
1972
Game rules and morality
This study investigated the premise that game rules can be used as instruments for teaching morality. Gowin's philosophic method… 
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)