Anton Setzer
Scholar

Anton Setzer

Google Scholar ID: bcu0dOAAAAAJ
Dept of Computerv Science, Swansea University
Proof TheoryMartin-Löf Type Theoryinductive-recursive definitionsinteractive programs
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,723
 
H-index
20
 
i10-index
41
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
Access Hoare Logic
2025
Cited
0
Resume (English only)
Co-authors
11 total
Co-author 1
Co-author 1
Andreas Abel
Andreas Abel
Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg
Brigitte Pientka
Brigitte Pientka
McGill University
Fredrik Nordvall Forsberg
Fredrik Nordvall Forsberg
University of Strathclyde
Ulrich Berger
Ulrich Berger
Associate Professor of Computer Science, Swansea University, UK
Co-author 6
Co-author 6
Thorsten Altenkirch
Thorsten Altenkirch
Professor of Computer Science, University of Nottingham
Co-author 8
Co-author 8