Dr. R.P. Nederpelt

Update Persondata

• formal
• logic
• methods

Active as

Completed research projects

(the most recent research is at the top)
Project leader	Use and Meaning of Open Terms in Interactive Formal Problem Solving
Researcher	Game, Set, Maths: Formal investigation into logic with imperfect information

Classification

D11100	Logic, set theory and arithmetic
D16200	Software, algorithms, control systems
D16300	Theoretical computer science