+ helpreset results/page
1 items found
Active filters: x Type: Dataset x Creator: Van Delft, M.E.C. (Myrthe) x Data format: text/tab-separated-values [remove all]
Filter:
Type #2
1Item with a doi
Creator #2
1Geuvers, J.H. (Herman)
1Willemse, T.A.C. (Tim)
Year
12017
Subject
1Information Systems
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)