Skip to search formSkip to main contentSkip to account menu

Abstract rewriting system

Known as: Convergent rewriting system, Ars, Reduction relation 
In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Church–Rosser theoremConfluence (abstract rewriting)Dershowitz–Manna orderingDivergence (computer science)

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
Safe operations of unmanned rotorcraft hinge on successfully accommodating failures during flight, either via control… 
Highly Cited
2008
Highly Cited
2008
Airborne laser swath mapping of the summit of Erebus volcano, Antarctica: Applications to geological mapping of a volcano
Review
2005
Review
2005
Unconscious Bias Theory in Employment Discrimination Litigation
Deborah, an African American woman, worked as an administrative assistant for her employer for several years. She consistently… 
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… 
Review
1997
Review
1997
Conceptual Modeling of Objects - A Role Modeling Approach
ion where di erences between these activities are suppressed Then objects playing the same role within a role model can… 
Highly Cited
1993
Highly Cited
1993
The DIS Vision: A Map to the Future of Distributed Simulation
The system includes a plurality of receptacles serially connected one to the other between a gas pressure source, for example air… 
Review
1993
Review
1993
Conformance Relations and Test Derivation
It seems that finite state machines (FSM's) and (finite) labeled transition systems (LTS's) are competing descriptive models for… 
1984
1984
Simplification of the ecdysteroid radioimmunoassay by the use of protein A fromStaphylococcus aureus
Three methods of separating antibody-bound ligand from free ligand were compared for an ecdysteroid radioimmunoassay. Ecdysteroid… 
1978
1978
Communication In X-TREE, A Modular Multiprocessor System
A communication network for a tree-structured assembly (X-TREE) of single-chip processors is described, and considerations for… 
1950
1950
A CASE OF CHRONIC MANIA TREATED WITH LITHIUM CITRATE AND TERMINATING FATALLY
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)