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:
set (3)
rewrit (3)
system (2)
languag (2)
regular (2)

Stem descend$ (all stems)

7 papers:

STOCSTOC-2014-SharmaV #multi
Multiway cut, pairwise realizable distributions, and descending thresholds (AS, JV), pp. 724–733.
RTARTA-2013-BoichutCR #approximate
Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
FoSSaCSFoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
FLOPSFLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.
RTARTA-2002-RetyV #set
Regular Sets of Descendants by Some Rewrite Strategies (PR, JV), pp. 129–143.
RTARTA-1998-Genet #approximate #decidability #normalisation #set
Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.
RTARTA-1987-Benois #algorithm #automaton #complexity #regular expression #term rewriting
Descendants of Regular Language in a Class of Rewriting Systems: Algorithm and Complexity of an Automata Construction (MB), pp. 121–132.

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.