Ray Reiter
Papers
1
Total Citations
12
H-Index
1
About
No biography available yet.
Research Focus
Calculus (dental)1 · 12 citations
Computer science1 · 12 citations
Logic programming1 · 12 citations
Logical framework1 · 12 citations
Mathematical proof1 · 12 citations
Mathematics1 · 12 citations
Natural deduction1 · 12 citations
Normalization property1 · 12 citations
Programming language1 · 12 citations
Proof calculus1 · 12 citations
Situation calculus1 · 12 citations
Theoretical computer science1 · 12 citations
Key Achievements
1
H-Index
1
Papers
12
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Non-terminating processes in the situation calculus
12 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Toronto
Top Papers
- 1Non-terminating processes in the situation calculus12 citations · 2019
Key Collaborators
Not generated yet