Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,064,531 papers from all fields of science
Search
Sign In
Create Free Account
Abstract rewriting system
Known as:
Convergent rewriting system
, Ars
, Reduction relation
Expand
In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Church–Rosser theorem
Confluence (abstract rewriting)
Dershowitz–Manna ordering
Divergence (computer science)
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Autonomous Autorotation of Unmanned Rotorcraft using Nonlinear Model Predictive Control
K. Dalamagkidis
,
K. Valavanis
,
L. Piegl
J. Intell. Robotic Syst.
2010
Corpus ID: 11206880
Safe operations of unmanned rotorcraft hinge on successfully accommodating failures during flight, either via control…
Expand
Highly Cited
2008
Highly Cited
2008
Airborne laser swath mapping of the summit of Erebus volcano, Antarctica: Applications to geological mapping of a volcano
B. Csathó
,
T. Schenk
,
P. Kyle
,
T. Wilson
,
W. Krabill
2008
Corpus ID: 37730861
2006
2006
The Constitutionality of "Best Interests" Parentage
D. D. Meyer
2006
Corpus ID: 54010179
INTRODUCTION The premise of this Symposium is unabashedly radical: to imagine a new law of parentage focused exclusively on the…
Expand
1999
1999
The ferrous iron oxidation kinetics of Thiobacillus ferrooxidans in continuous cultures
M. Boon
,
T. Meeder
,
C. Thoene
,
C. Ras
,
J. Heijnen
Applied Microbiology and Biotechnology
1999
Corpus ID: 23571730
Abstract The oxidation and growth kinetics of ferrous iron with Thiobacillus ferrooxidans in continuous cultures was examined at…
Expand
Review
1997
Review
1997
Conceptual Modeling of Objects - A Role Modeling Approach
Egil P. Andersen
1997
Corpus ID: 42571942
ion where di erences between these activities are suppressed Then objects playing the same role within a role model can…
Expand
1996
1996
Conduction pathways in the nervous system of Saccoglossus sp. (Enteropneusta)
C. Cameron
,
G. Mackie
1996
Corpus ID: 55777887
A species of Saccoglossus from Barkley Sound, British Columbia, was observed in the field and found to exhibit a startle…
Expand
Highly Cited
1993
Highly Cited
1993
The DIS Vision: A Map to the Future of Distributed Simulation
C. Bouwens
1993
Corpus ID: 59661572
The system includes a plurality of receptacles serially connected one to the other between a gas pressure source, for example air…
Expand
Review
1993
Review
1993
Conformance Relations and Test Derivation
A. Petrenko
,
G. Bochmann
,
R. Dssouli
Protocol Test Systems
1993
Corpus ID: 5532006
It seems that finite state machines (FSM's) and (finite) labeled transition systems (LTS's) are competing descriptive models for…
Expand
1990
1990
A Rewriting Strategy to Verify Observational Congruence
P. Inverardi
,
M. Nesi
Information Processing Letters
1990
Corpus ID: 33006570
1971
1971
Detection and placement of redundant signal elements in tachistoscopic displays of letters
E. Bjork
,
W. Estes
1971
Corpus ID: 18261137
On each trial of a forced-choice detection experiment, S indicated which of two signal elements was represented and also…
Expand
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)
ACCEPT & CONTINUE