BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
rewrit (7)
reachabl (4)
termin (4)
decid (3)
term (3)

Stem innermost$ (all stems)

11 papers:

RTARTA-2015-GenetS #analysis #reachability
Reachability Analysis of Innermost Rewriting (TG, YS), pp. 177–193.
CADECADE-2011-NoschinskiEG #analysis #complexity #dependence #framework #term rewriting
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (LN, FE, JG), pp. 422–438.
RTARTA-2008-KojimaS #decidability #linear #reachability #term rewriting
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (YK, MS), pp. 187–201.
Deciding Innermost Loops (RT, JG, PSK), pp. 366–380.
RTARTA-2007-GodoyH #decidability #term rewriting
Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems (GG, EH), pp. 184–199.
RTARTA-2005-FernandezGR #order #termination
Orderings for Innermost Termination (MLF, GG, AR), pp. 17–31.
Generalized Innermost Rewriting (JvdP, HZ), pp. 2–16.
DLTDLT-2002-GieslM #termination
Innermost Termination of Context-Sensitive Rewriting (JG, AM), pp. 231–244.
RTARTA-1997-ArtsG #automation #normalisation #proving
Proving Innermost Normalisation Automatically (TA, JG), pp. 157–171.
RTARTA-1996-Gramlich #on the #proving #termination
On Proving Termination by Innermost Termination (BG), pp. 93–107.
Handling Function Definitions through Innermost Superposition and Rewriting (LF), pp. 325–344.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.