Myrthe van Delft

According to our database, Myrthe van Delft authored at least 1 paper in 2017.

Collaborative distances:

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

2017

A Formalisation of Consistent Consequence for Boolean Equation Systems.

Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017