Recursive Reasoning is a formal method of mathematical reasoning that belongs to the class of inference techniques based on self-referential problem decomposition, distinguished by its systematic application of a function or rule to successively simpler instances of the same problem until a base case is reached.
148
Publications
5.8K
Citations
263
Authors
142
Institutions
Publications per year
2017–2026
21
Parents
Publications
148
Joseph Y. Halpern · Journal of Artificial Intelligence Research · 2000 · 204 citations · Full text
Humanities, Computer Science, Logic +16
Practical foundations of mathematics
Choice Reviews Online · 2000 · 166 citations
Recursive query processing: the power of logic
Laurent Vielle · Theoretical Computer Science · 1989 · 156 citations
1–5 of 148
Authors
263
- AB
3
h-index
- DG
2
h-index
- JW
2
h-index
- CP
2
h-index
- ND
2
h-index
1–5 of 263
Institutions
142
University of Edinburgh
Edinburgh, United Kingdom
6 h-index
11 publications
342 citations
Stanford University
Stanford, United States
6 h-index
16 publications
980 citations
University of Maryland, College Park
College Park, United States
5 h-index
7 publications
299 citations
Weizmann Institute of Science
Rehovot, Israel
5 h-index
5 publications
205 citations
Cornell University
Ithaca, United States
4 h-index
6 publications
348 citations
Tel Aviv University
Tel Aviv, Israel
4 h-index
6 publications
85 citations
University of Oxford
Oxford, United Kingdom
3 h-index
4 publications
129 citations
Pennsylvania State University
State College, United States
3 h-index
4 publications
725 citations
1–8 of 142
Venues
- Journal of the ACM
JACM · 5 publications · 447 citations
5
h-index
- ACM SIGCSE Bulletin
5 publications · 96 citations
5
h-index
- Journal of Logic and Computation
3 publications · 69 citations
3
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 113 citations
3
h-index
- Theoretical Computer Science
3 publications · 266 citations
3
h-index
1–5