Roy Dyckhoff
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Algebra over a field1 · 6 citations
Artificial intelligence1 · 6 citations
Calculus (dental)1 · 6 citations
Completeness (order theory)1 · 6 citations
Computer science1 · 6 citations
Description logic1 · 6 citations
Discrete mathematics1 · 6 citations
ENCODE1 · 6 citations
Epistemic modal logic1 · 6 citations
Mathematical proof1 · 6 citations
Mathematics1 · 6 citations
Modal1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
6 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of St Andrews
Top Papers
- 1
Key Collaborators
Not generated yet