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.
2008
2008
Semigroups of valuations dominating local domains
A new criterion is given for a semigroup to be the semigroup of a valuation dominating an equicharacteristic local domain. The… 
2006
2006
The Constitutionality of "Best Interests" Parentage
INTRODUCTION The premise of this Symposium is unabashedly radical: to imagine a new law of parentage focused exclusively on the… 
2002
2002
Hierarchically Optimal Average Reward Reinforcement Learning
Two notions of optimality have been explored in previous work on hierarchical reinforcement learning (HRL): hierarchical… 
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… 
1995
1995
Alpheus angulatus, a new species of snapping shrimp from the Gulf of Mexico and northwestern Atlantic, with a redescription of A. heterochaelis Say, 1818 (Decapoda: Caridea, Alpheidae)
-Two species of the Edwardsii-group of snapping shrimp, Alpheus heterochaelis Say and A. estuariensis Christoffersen, have been… 
1994
1994
A new Calcinus (Decapoda: Anomura: Diogenidae) from the Tropical Western Atlantic, and a comparison with other species of the genus from the region
—A. new sf)ecies of a diogenid hermit crab, Calcinus urabaensis, is described from the Gulf of Uraba, on the Caribbean coast of… 
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… 
1992
1992
UPOGEBIA EDULIS, NEW SPECIES, A MUD-SHRIMP (CRUSTACEA: THALASSINIDEA: UPOGEBIIDAE) FROM TAIWAN AND VIETNAM, WITH A NOTE ON POL YMORPHISM IN THE MALE FIRST PEREIOPOD
-A new species of mud-shrimp (Thalassinidea: Upogebiidae), Upogebia edulis, from Taiwan and Vietnam, is described. It shows… 
1987
1987
Application of Term Rewriting Techniques to Hardware Design Verification
Term rewriting systems have been used in automatic theorem proving. A canonical term rewriting system for boolean algebra… 
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… 
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)