Vingerafdruk
Duik in de onderzoeksthema's van 'Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Daniel Miedema, Malvin Gattinger
Onderzoeksoutput: Conference contribution › Academic › peer review
1
Citaat
(Scopus)