Semyon Grigorev

From MaRDI portal
Person:2039299

Available identifiers

zbMath Open grigorev.semyonMaRDI QIDQ2039299

List of research outcomes





PublicationDate of PublicationType
Rational index of languages defined by grammars with bounded dimension of parse trees2024-07-29Paper
Rational index of languages with bounded dimension of parse trees2022-08-11Paper
Context-free path querying by Kronecker product2021-07-02Paper
Path querying with conjunctive grammars by matrix multiplication2020-12-18Paper
Bar-Hillel theorem mechanization in Coq2020-03-04Paper
Relaxed parsing of regular approximations of string-embedded languages2016-12-21Paper

Research outcomes over time

This page was built for person: Semyon Grigorev

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2039299&oldid=11971061"
Powered by MediaWiki