Statistics
Publications
5
Citations
224
H-Index
5
Active since
2000
Affiliations
Max Planck Institute for Informatics(Current)
Hans de Nivelle is an author at Max Planck Institute for Informatics specializing in computer science, formal methods, and predicate logic.
Publications per year
2000–2005
5
5
Resolution-based methods for modal logics
Hans de Nivelle · Logic Journal of IGPL · 2000 · 84 citations
1–5 of 5