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/afp/Lammich14.nt
. . "Peter Lammich: Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm. (2014)" . _:ID_0eb496e45290b4c6a0a5849000f91f47 . _:ID_0eb496e45290b4c6a0a5849000f91f47 . _:ID_0eb496e45290b4c6a0a5849000f91f47 . _:ID_0eb496e45290b4c6a0a5849000f91f47 . _:ID_0eb496e45290b4c6a0a5849000f91f47 "journals/afp/Lammich14" . "Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm." . . . . "1"^^ . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 "Peter Lammich" . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 "1"^^ . _:Sig_c6ec9eb3216e760a58dd8c5ecfd6e08b_1 . . . . . "Arch. Formal Proofs" . "Arch. Formal Proofs" . "2014" . "2014"^^ . "provenance information for RDF data of dblp record 'journals/afp/Lammich14'" . . . . "2020-05-25T09:13:18+0200" .