Totals for datasets (co-)authored by J.H. (Herman) Geuvers

Datasets

• Coq formalisation of Consistent Consequence for Boolean Equation Systems

Co-authors

Co-authors of J.H. (Herman) Geuvers's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• M.E.C. (Myrthe) Van Delft
• Tim Willemse