Mizuta, H., Hatanaka, T.,
Ito, T. &
Zhou, X.,
2019 8,
44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J-P., Heggernes, P. & Rossmanith, P. (eds.).
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 79. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 138).
研究成果: Conference contribution