+ helpreset results/page
1 items found
Active filters: x Data format: text/tab-separated-values
Filter:
Type
1Dataset
1Item with a doi
Creator
1Geuvers, J.H. (Herman)
1Van Delft, M.E.C. (Myrthe)
1Willemse, T.A.C. (Tim)
Year
12017
Collection
1 General collection of datasets
Data format #2
1application/zip
1text/plain
results 1-1
Coq formalisation of Consistent Consequence for Boolean Equation SystemsDataset2017Van Delft, M.E.C. (Myrthe); Geuvers, J.H. (Herman); Willemse, T.A.C. (Tim)