iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/ipl/HansenKP21.nt
. . . . "Jakob Cetti Hansen et al.: Tight bounds for reachability problems on one-counter and pushdown systems. (2021)" . . _:ID_3dfbed5da271784715f21905f8a4ae06 . _:ID_3dfbed5da271784715f21905f8a4ae06 . _:ID_3dfbed5da271784715f21905f8a4ae06 . _:ID_3dfbed5da271784715f21905f8a4ae06 . _:ID_3dfbed5da271784715f21905f8a4ae06 "journals/ipl/HansenKP21" . _:ID_3e99f5a703e2288aebf8205b1d483bc4 . _:ID_3e99f5a703e2288aebf8205b1d483bc4 . _:ID_3e99f5a703e2288aebf8205b1d483bc4 . _:ID_3e99f5a703e2288aebf8205b1d483bc4 . _:ID_3e99f5a703e2288aebf8205b1d483bc4 "10.1016/J.IPL.2021.106135" . "Tight bounds for reachability problems on one-counter and pushdown systems." . . . . . . . . "3"^^ . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 "Jakob Cetti Hansen" . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 "1"^^ . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_1 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 "Adam Husted Kjelstr\u00F8m" . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 "2"^^ . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_2 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 "Andreas Pavlogiannis" . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 "3"^^ . _:Sig_9b94a8204c480803738ad3c8a27b3dc2_3 . . . . . "106135" . "Inf. Process. Lett." . "Inf. Process. Lett." . "171" . "2021"^^ . "provenance information for RDF data of dblp record 'journals/ipl/HansenKP21'" . . . . "2021-10-14T09:41:02+0200" .