Ing.

Martin Havel

Student doktorského studia


ihavelm@fit.vut.cz
C220 Kancelář
213265/osobní číslo VUT

Publikace

  • 2024

    HAVEL, M.; KŘIVKA, Z.; MEDUNA, A. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Göttingen: 2024. p. 87-100. ISSN: 2075-2180. Detail

  • 2022

    HAVEL, M.; MEDUNA, A. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, 2022, vol. 30, no. 2, p. 135-147. ISSN: 1561-4042. Detail

Nahoru