Concepedia

Hans de Nivelle

HD

Statistics

Publications

4

Citations

226

H-Index

4

Active since

2001

Affiliations

Max Planck Institute for Informatics(Current)

Max Planck Society

Hans de Nivelle is an author at Max Planck Institute for Informatics specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsLanguageSemanticsLinguisticsCryptographyComputer ScienceFormal SemanticsProof Complexity

Publications per year

2001–2007

4

Publications

4

A superposition decision procedure for the guarded fragment with equality

Harald Ganzinger, Hans de Nivelle · 2003 · 92 citations

Mathematical Programming, Computational Complexity Theory, Engineering +17

Computing finite models by reduction to function-free clause logic

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle et al. · Journal of Applied Logic · 2007 · 57 citations

Engineering, Automated Reasoning, Formal Methods +4

Inference and Computational Semantics

Hans de Nivelle, Patrick Blackburn, Johan Bos et al. · Max Planck Institute for Plasma Physics · 2001 · 57 citations

Formal Semantics, Automated Reasoning, Computational Linguistics +4

Subsumption of concepts in $DL$ ${\cal FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete

Yevgeny Kazakov, Hans de Nivelle · MPG.PuRe (Max Planck Society) · 2003 · 20 citations · Full text

1–4 of 4