Brandon Bohrer
Papers
1
Total Citations
3
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 3 citations
Automated theorem proving1 · 3 citations
Axiom1 · 3 citations
Class (philosophy)1 · 3 citations
Completeness (order theory)1 · 3 citations
Computer science1 · 3 citations
Gas meter prover1 · 3 citations
Mathematical proof1 · 3 citations
Mathematics1 · 3 citations
Metatheory1 · 3 citations
Programming language1 · 3 citations
Proof assistant1 · 3 citations
Key Achievements
1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Toward Structured Proofs for Dynamic Logics.
3 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 1
Top Papers
- 1Toward Structured Proofs for Dynamic Logics.3 citations · 2019
Key Collaborators
Not generated yet