Martin Havel

According to our database¹, Martin Havel authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete.

[BibT_eX]

[DOI]

Proceedings of the Descriptional Complexity of Formal Systems, 2025

2024

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), 2024

2022

On Elimination of Erasing Rules from E0S Grammars.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2022