iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/wadt/Mossakowski99.nt
.
.
.
.
"Till Mossakowski: Specifications in an Arbitrary Institution with Symbols. (1999)" .
.
_:ID_8d2af340ec6c7f1265211ee9429fb4d1 . _:ID_8d2af340ec6c7f1265211ee9429fb4d1
. _:ID_8d2af340ec6c7f1265211ee9429fb4d1
. _:ID_8d2af340ec6c7f1265211ee9429fb4d1
. _:ID_8d2af340ec6c7f1265211ee9429fb4d1
"conf/wadt/Mossakowski99" .
_:ID_8dc8fb8a4ddd2f55887e100156c9196e . _:ID_8dc8fb8a4ddd2f55887e100156c9196e
. _:ID_8dc8fb8a4ddd2f55887e100156c9196e
. _:ID_8dc8fb8a4ddd2f55887e100156c9196e
. _:ID_8dc8fb8a4ddd2f55887e100156c9196e
"10.1007/978-3-540-44616-3_15" .
"Specifications in an Arbitrary Institution with Symbols." .
.
.
.
"1"^^
.
_:Sig_eac3ae0396430ecec2b9d9abec76448d_1 . _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
. _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
. _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
"Till Mossakowski" . _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
. _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
. _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
"1"^^
. _:Sig_eac3ae0396430ecec2b9d9abec76448d_1
.
.
.
.
.
"252-270" .
"WADT" .
"WADT" .
"1999"^^
.
"2000"^^
.
.
"provenance information for RDF data of dblp record 'conf/wadt/Mossakowski99'" .
.
.
.
"2022-10-02T16:17:15+0200" .
