Totals for datasets (co-)authored by Tim Willemse

Datasets

• Coq formalisation of Consistent Consequence for Boolean Equation Systems

Co-authors

Co-authors of Tim Willemse's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• J.H. (Herman) Geuvers
• M.E.C. (Myrthe) Van Delft