Ing.

Martin Havel

Ph.D. student


ihavelm@fit.vut.cz
C220 Office
213265/BUT personal ID

Publications

  • 2024

    HAVEL Martin, KŘIVKA Zbyněk and MEDUNA Alexander. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In: Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Göttingen: Austrian Computer Society, 2024, pp. 1-14.
    Detail

  • 2022

    HAVEL Martin and MEDUNA Alexander. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, vol. 30, no. 2, 2022, pp. 135-147. ISSN 1561-4042.
    Detail

Back to top