Semyon Grigorev
From MaRDI portal
Person:2039299
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Rational index of languages defined by grammars with bounded dimension of parse trees Theory of Computing Systems | 2024-07-29 | Paper |
| Rational index of languages with bounded dimension of parse trees | 2022-08-11 | Paper |
| Context-free path querying by Kronecker product | 2021-07-02 | Paper |
| Path querying with conjunctive grammars by matrix multiplication Programming and Computer Software | 2020-12-18 | Paper |
| Bar-Hillel theorem mechanization in Coq | 2020-03-04 | Paper |
| Relaxed parsing of regular approximations of string-embedded languages Lecture Notes in Computer Science | 2016-12-21 | Paper |
Research outcomes over time
This page was built for person: Semyon Grigorev
