The decidability and complexity of interleaved bidirected Dyck reachability.

Adam Husted Kjelstrøm Andreas Pavlogiannis

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

data sets
computational cost
description logics
database
data mining
artificial intelligence
computer vision
image processing
expert systems
special case