DMCA

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width (2012)

by Salvatore La Torre , Gennaro Parlato
Citations:12 - 2 self