Research output per year
Research output per year
Search results
-
2022
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Kappé, T. W. J., 21 Dec 2022Research output: Non-textual form › Software › Academic
Open Access -
2015
Performance Dashboard to Support Awareness and Reflection in Elgg communities
Slootmaker, A., Scheffel, M., Krijns, K., De Kraker, J. & Drachsler, H., 18 Dec 2015Research output: Non-textual form › Software › Academic
Open AccessFile