Regulation of learning and active learning methods (REALMEE)
Tutkimusyksikkö: Tutkimusyhteisö
Ladatuimmat julkaisut
-
27
latausta
Old and New Algorithms for Minimal Coverability Sets
Tutkimustuotos › › vertaisarvioitu
-
26
latausta
Stop It, and Be Stubborn!
Tutkimustuotos › › vertaisarvioitu
-
21
latausta
On constructibility and unconstructibility of LTS operators from other LTS operators
Tutkimustuotos › › vertaisarvioitu
Julkaisut tyypin/vuoden mukaan
Ei tietoja saatavilla
ID: 9700864