TY - RPRT TI - Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science AU - Jan Bouda AU - Lukáš Holík AU - Jan Kofroň AU - Jan Strejček AU - Adam Rambousek PY - 2016 DO - 10.4204/eptcs.233 UR - https://arxiv.org/abs/1612.04037 ID - 1612.04037 ER -