Martin Lück is an author at Leibniz University Hannover specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningSemanticsComputer ScienceComputational Complexity
Publications per year
2016–2018
2
2
Axiomatizations of team logics
Martin Lück · Annals of Pure and Applied Logic · 2018 · 17 citations
Rows per page
1–2 of 2