Browsing by author "Schrijvers, Tom"
Now showing items 1-1 of 1
-
Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic
Arndt, Dorthe; Schrijvers, Tom; De Roo, J.; Verborgh, Ruben (2019-10)
Now showing items 1-1 of 1