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/WimmerL17.nt
. . "Simon Wimmer and Peter Lammich: The Floyd-Warshall Algorithm for Shortest Paths. (2017)" . _:ID_b0b41fc819a479dd42a50d73c80ce45e . _:ID_b0b41fc819a479dd42a50d73c80ce45e . _:ID_b0b41fc819a479dd42a50d73c80ce45e . _:ID_b0b41fc819a479dd42a50d73c80ce45e . _:ID_b0b41fc819a479dd42a50d73c80ce45e "journals/afp/WimmerL17" . "The Floyd-Warshall Algorithm for Shortest Paths." . . . . . . "2"^^ . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 "Simon Wimmer 0001" . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 "1"^^ . _:Sig_68ec2796e8823b21fadd154296eaa5a2_1 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 "Peter Lammich" . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 "2"^^ . _:Sig_68ec2796e8823b21fadd154296eaa5a2_2 . . . . . "Arch. Formal Proofs" . "Arch. Formal Proofs" . "2017" . "2017"^^ . "provenance information for RDF data of dblp record 'journals/afp/WimmerL17'" . . . . "2021-12-13T13:21:14+0100" .