Georg Struth
Scholar

Georg Struth

Google Scholar ID: lgsk1IoAAAAJ
University of Sheffield
Algebraic and Logical Methods in Computer ScienceConcurrency TheoryInteractive Theorem ProvingProgram Correctness
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,715
 
H-index
28
 
i10-index
73
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
Cubical coherent confluence, cubical $ω$-groupoids and the cube equation
2025
Cited
0
Generalised Möbius Categories and Convolution Kleene Algebras
2025
Cited
0
Presheaf automata
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)