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/conf/wadt/FiadeiroMMMP99.nt
. . . . "Jos\u00E9 Luiz Fiadeiro et al.: Towards a Verification Logic for Rewriting Logic. (1999)" . . _:ID_286475d6dd7f715579a18a7749d8ab56 . _:ID_286475d6dd7f715579a18a7749d8ab56 . _:ID_286475d6dd7f715579a18a7749d8ab56 . _:ID_286475d6dd7f715579a18a7749d8ab56 . _:ID_286475d6dd7f715579a18a7749d8ab56 "conf/wadt/FiadeiroMMMP99" . _:ID_5791e156887dd1d231417361889bb438 . _:ID_5791e156887dd1d231417361889bb438 . _:ID_5791e156887dd1d231417361889bb438 . _:ID_5791e156887dd1d231417361889bb438 . _:ID_5791e156887dd1d231417361889bb438 "10.1007/978-3-540-44616-3_25" . "Towards a Verification Logic for Rewriting Logic." . . . . . . . . . . . . "5"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 "Jos\u00E9 Luiz Fiadeiro" . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 "1"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_1 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 "T. S. E. Maibaum" . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 "2"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_2 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 "Narciso Mart\u00ED-Oliet" . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 "3"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_3 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 "Jos\u00E9 Meseguer 0001" . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 "4"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_4 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 "Isabel Pita" . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 "5"^^ . _:Sig_ebbd15953908d0993cfa2a35a5620a9a_5 . . . . . "438-458" . "WADT" . "WADT" . "1999"^^ . "2000"^^ . . "provenance information for RDF data of dblp record 'conf/wadt/FiadeiroMMMP99'" . . . . "2023-09-20T08:58:10+0200" .