Paul Bell
2005–2019 年に発表
- 所属
- University of Liverpoolこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-2620-635X
- 12
- 論文数
- 152
- 被引用数
- 7
- h 指数
- 5
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science86.1%
- Mathematics7.6%
- Engineering3.8%
- Biochemistry, Genetics and Molecular Biology1.3%
- Medicine1.3%
トピック
- semigroups and automata theory25.3%
- Formal Methods in Verification12.7%
- Logic, programming, and type systems9%
- Geometric and Algebraic Topology9%
- Computability, Logic, AI Algorithms7.8%
- Advanced Algebra and Logic6.6%
- その他29.5%
よく組む共著者
全論文
論文を読み込んでいます…