Semyon Grigorev
From MaRDI portal
Person:2039299
Available identifiers
zbMath Open grigorev.semyonMaRDI QIDQ2039299
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| 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 | 2020-12-18 | Paper |
| Bar-Hillel theorem mechanization in Coq | 2020-03-04 | Paper |
| Relaxed Parsing of Regular Approximations of String-Embedded Languages | 2016-12-21 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Semyon Grigorev
