Marten van den Berg

According to our database, Marten van den Berg authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Parsons Problems for Equivalence Proofs in Logic.

Marten van den Berg, Bastiaan Heeren, Ebrahim Rahimi

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024