Descending Sequences is a number sequence in which each successive term is strictly less than the preceding term, thereby exhibiting a monotonically decreasing order.
57
Publications
2.6K
Citations
105
Authors
72
Institutions
Publications per year
2017–2026
8
Variants
Monotonically Decreasing Sequences
Parents
Publications
57
Proving termination with multiset orderings
Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text
Recursive pseudo-well-orderings
Transactions of the American Mathematical Society · 1968 · 119 citations · Full text
1–5 of 57
Authors
105
- YT
2
h-index
- HL
2
h-index
- DB
2
h-index
- HFHarvey Friedman
University at Buffalo, State University of New York, United States
2 publications · 55 citations
2
h-index
- AS
2
h-index
1–5 of 105
Institutions
72
University at Buffalo, State University of New York
Buffalo, United States
2 h-index
2 publications
55 citations
University of Toronto
Toronto, Canada
2 h-index
2 publications
74 citations
Christian-Albrechts-Universität zu Kiel
Kiel, Germany
2 h-index
4 publications
100 citations
Stanford University
Stanford, United States
2 h-index
3 publications
1.1K citations
University of Regina
Regina, Canada
1 h-index
4 publications
68 citations
China University of Mining and Technology
Xuzhou, China
1 h-index
3 publications
111 citations
Concordia University
Montreal, Canada
1 h-index
3 publications
222 citations
Hiroshima University of Economics
Hiroshima, Japan
1 h-index
2 publications
44 citations
1–8 of 72
Venues
- Journal of the Experimental Analysis of Behavior
4 publications · 276 citations
4
h-index
- Journal of Symbolic Logic
5 publications · 232 citations
4
h-index
- Transactions of the American Mathematical Society
TRAN · 3 publications · 157 citations
3
h-index
- Journal of Experimental Psychology Human Perception & Performance
2 publications · 55 citations
2
h-index
- Journal of Algebra
2 publications · 134 citations
2
h-index
1–5