7 papers:
STOC-2014-SharmaV #multi- Multiway cut, pairwise realizable distributions, and descending thresholds (AS, JV), pp. 724–733.
RTA-2013-BoichutCR #approximate- Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
FoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
FLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting- Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.
- RTA-2002-RetyV #set
- Regular Sets of Descendants by Some Rewrite Strategies (PR, JV), pp. 129–143.
- RTA-1998-Genet #approximate #decidability #normalisation #set
- Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.
- RTA-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.
