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/iandc/BaldanKP24.nt
. . . . "Paolo Baldan et al.: Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms. (2024)" . . _:ID_aebf7c24caf0e177c167fbf8aee727b6 . _:ID_aebf7c24caf0e177c167fbf8aee727b6 . _:ID_aebf7c24caf0e177c167fbf8aee727b6 . _:ID_aebf7c24caf0e177c167fbf8aee727b6 . _:ID_aebf7c24caf0e177c167fbf8aee727b6 "journals/iandc/BaldanKP24" . _:ID_b66c9b8e4007a03a93a2f9229e26a842 . _:ID_b66c9b8e4007a03a93a2f9229e26a842 . _:ID_b66c9b8e4007a03a93a2f9229e26a842 . _:ID_b66c9b8e4007a03a93a2f9229e26a842 . _:ID_b66c9b8e4007a03a93a2f9229e26a842 "10.1016/J.IC.2024.105233" . "Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms." . . . . . . . . "3"^^ . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_1 "Paolo Baldan" . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_1 "1"^^ . _:Sig_614d2786b103533373f5a75a94f99972_1 . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_2 "Barbara K\u00F6nig 0001" . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_2 "2"^^ . _:Sig_614d2786b103533373f5a75a94f99972_2 . _:Sig_614d2786b103533373f5a75a94f99972_3 . _:Sig_614d2786b103533373f5a75a94f99972_3 . _:Sig_614d2786b103533373f5a75a94f99972_3 . _:Sig_614d2786b103533373f5a75a94f99972_3 "Tommaso Padoan" . _:Sig_614d2786b103533373f5a75a94f99972_3 . _:Sig_614d2786b103533373f5a75a94f99972_3 . _:Sig_614d2786b103533373f5a75a94f99972_3 "3"^^ . _:Sig_614d2786b103533373f5a75a94f99972_3 . . . . . "105233" . "Inf. Comput." . "Inf. Comput." . "301" . "2024"^^ . "provenance information for RDF data of dblp record 'journals/iandc/BaldanKP24'" . . . . "2024-12-09T22:48:04+0100" .