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/tocl/GenevesLSG15.nt
. . . . "Pierre Genev\u00E8s et al.: Efficiently Deciding \u03BC-Calculus with Converse over Finite Trees. (2015)" . . _:ID_aabb542b1eb0acaec206ad467e8af62f . _:ID_aabb542b1eb0acaec206ad467e8af62f . _:ID_aabb542b1eb0acaec206ad467e8af62f . _:ID_aabb542b1eb0acaec206ad467e8af62f . _:ID_aabb542b1eb0acaec206ad467e8af62f "journals/tocl/GenevesLSG15" . _:ID_adbf8435ae0c9eabb0fd693040a5f23f . _:ID_adbf8435ae0c9eabb0fd693040a5f23f . _:ID_adbf8435ae0c9eabb0fd693040a5f23f . _:ID_adbf8435ae0c9eabb0fd693040a5f23f . _:ID_adbf8435ae0c9eabb0fd693040a5f23f "10.1145/2724712" . "Efficiently Deciding \u03BC-Calculus with Converse over Finite Trees." . . . . . . . . . . "4"^^ . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 "Pierre Genev\u00E8s" . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 "1"^^ . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_1 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 "Nabil Laya\u00EFda" . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 "2"^^ . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_2 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 "Alan Schmitt" . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 "3"^^ . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_3 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 "Nils Gesbert" . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 "4"^^ . _:Sig_46fa67552ef6a9f25e45c0708ed0f373_4 . . . . . "16:1-16:41" . "ACM Trans. Comput. Log." . "ACM Trans. Comput. Log." . "16" . "2" . "2015"^^ . "provenance information for RDF data of dblp record 'journals/tocl/GenevesLSG15'" . . . . "2018-11-06T12:51:53+0100" .