FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability

International Journal on Software Tools for Technology Transfer 2026

View at publisher
Authors: Ilia Muravev, Semyon Grigorev
DOI: 10.1007/s10009-026-00864-y
Cited by: 1
References: 31

Fields of Study & Subjects

Model-Driven Software Engineering Techniques Graph Theory and Algorithms Advanced Database Systems and Queries

Publication details

Journal / source
International Journal on Software Tools for Technology Transfer
Publisher
Springer Science and Business Media LLC
Publication date
21 May 2026
Language
EN