Lutz Straβburger is an author at University of Bath specializing in engineering, discrete mathematics, and formal methods.
Top concepts
GamesIntuitionEngineeringFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningDiscrete Mathematics
Publications per year
2019–2019
1
1
Intuitionistic proofs without syntax
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straβburger · 2019 · 11 citations · Full text
Rows per page
1–1 of 1