Explore projects
-
compilerconstruction / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
-
-
-
Erin van der Veen / Bachelor-Thesis
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
-
This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC
Updated -
Wietze Mulder / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Learning product automata
Updated -
Updated