Fredrik Nordvall Forsberg
Scholar

Fredrik Nordvall Forsberg

Google Scholar ID: -0ALlRsAAAAJ
University of Strathclyde
Type TheoryCompositionalityLogic and Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
494
 
H-index
12
 
i10-index
16
 
Publications
20
 
Co-authors
23
list available
Publications
1 items
Generalized Decidability via Brouwer Trees
2026
Cited
0
Co-authors
11 total
Anton Setzer
Anton Setzer
Dept of Computerv Science, Swansea University
Chuangjie Xu
Chuangjie Xu
Static Analysis Scientist, SonarSource
Thorsten Altenkirch
Thorsten Altenkirch
Professor of Computer Science, University of Nottingham
Paolo Capriotti
Paolo Capriotti
Postdoc, Technische Universität Darmstadt
Stefanie Rinderle-Ma
Stefanie Rinderle-Ma
Full Professor, Technical University of Munich, Department of Informatics
Daniel Ritter
Daniel Ritter
SAP
Matteo Capucci
Matteo Capucci
University of Strathclyde, Independent
Ulrich Berger
Ulrich Berger
Associate Professor of Computer Science, Swansea University, UK