Pubblicazioni
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Galesi, Nicola; Pudlák, Pavel; Thapen, Neil
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Lauria, Massimo; Nordström, Jakob