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.uni-trier.de/rec/conf/wadt/2002.nt
. . . . . . "Martin Wirsing et al.: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (2003)" . . _:ID_9c428c747a85f76b3c7499dacb4da3ec . _:ID_9c428c747a85f76b3c7499dacb4da3ec . _:ID_9c428c747a85f76b3c7499dacb4da3ec . _:ID_9c428c747a85f76b3c7499dacb4da3ec . _:ID_9c428c747a85f76b3c7499dacb4da3ec "conf/wadt/2002" . _:ID_681ff401cc3540680e8e2aa51d33e5fe . _:ID_681ff401cc3540680e8e2aa51d33e5fe . _:ID_681ff401cc3540680e8e2aa51d33e5fe . _:ID_681ff401cc3540680e8e2aa51d33e5fe . _:ID_681ff401cc3540680e8e2aa51d33e5fe "10.1007/B94458" . . _:ID_2f580eb05cefc8a5cf8a1c16adb77526 . _:ID_2f580eb05cefc8a5cf8a1c16adb77526 . _:ID_2f580eb05cefc8a5cf8a1c16adb77526 . _:ID_2f580eb05cefc8a5cf8a1c16adb77526 . _:ID_2f580eb05cefc8a5cf8a1c16adb77526 "3540205373" . "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers" . . . . . . . . "3"^^ . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 "Martin Wirsing" . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 "1"^^ . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_1 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 "Dirk Pattinson" . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 "2"^^ . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_2 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 "Rolf Hennicker" . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 "3"^^ . _:Sig_068c90e6d15f40afa6be9e4d2226ed30_3 . . . . . "Lecture Notes in Computer Science" . "Lecture Notes in Computer Science" . "2755" . "2003"^^ . "Springer" . "provenance information for RDF data of dblp record 'conf/wadt/2002'" . . . . "2019-05-14T10:00:54+0200" .