Flip van Spaendonck

Emailp.h.m.v.spaendoncktuenl

Content available in repository

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Flip van Spaendonck is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

1 Article

A thread-safe Term Library: (with a new fast mutual exclusion protocol)
Groote, J. F., Laveaux, M. & Spaendonck, P. H. M. V., 4 Nov 2021, In: CoRR. abs/2111.02706, 13 p.
Research output: Contribution to journal › Article › Academic

Logic and set theory
1/09/12 → …
Course

Flip van Spaendonck

Fingerprint

Research output

A thread-safe Term Library: (with a new fast mutual exclusion protocol)

Courses

Logic and set theory