3
Publications
49
Citations
3
H-Index
2014
Active since
Affiliations
Johannes Marti is an author at University of Amsterdam specializing in automated reasoning, engineering, and game theory.
Top concepts
GamesEngineeringGame TheoryFormal LogicFormal MethodsComputer ScienceDescription LogicsAutomated ReasoningNon-monotonic LogicMathematical Foundations
Publications per year
2014–2020
3
3
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke et al. · 2019 · 13 citations
Rows per page
1–3 of 3