iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/wadt/MossakowskiHK99.nt
.
.
.
.
"Till Mossakowski et al.: Subsorted Partial Higher-Order Locig as an Extension of CASL. (1999)" .
.
_:ID_4d554931cbf676955ffdc905afecbcd4 . _:ID_4d554931cbf676955ffdc905afecbcd4
. _:ID_4d554931cbf676955ffdc905afecbcd4
. _:ID_4d554931cbf676955ffdc905afecbcd4
. _:ID_4d554931cbf676955ffdc905afecbcd4
"conf/wadt/MossakowskiHK99" .
_:ID_5502689b410d35587dcd060e3e281fbf . _:ID_5502689b410d35587dcd060e3e281fbf
. _:ID_5502689b410d35587dcd060e3e281fbf
. _:ID_5502689b410d35587dcd060e3e281fbf
. _:ID_5502689b410d35587dcd060e3e281fbf
"10.1007/978-3-540-44616-3_8" .
"Subsorted Partial Higher-Order Locig as an Extension of CASL." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_ffe2f493b208e851128b746795ff2e90_1 . _:Sig_ffe2f493b208e851128b746795ff2e90_1
. _:Sig_ffe2f493b208e851128b746795ff2e90_1
. _:Sig_ffe2f493b208e851128b746795ff2e90_1
"Till Mossakowski" . _:Sig_ffe2f493b208e851128b746795ff2e90_1
. _:Sig_ffe2f493b208e851128b746795ff2e90_1
. _:Sig_ffe2f493b208e851128b746795ff2e90_1
"1"^^
. _:Sig_ffe2f493b208e851128b746795ff2e90_1
.
_:Sig_ffe2f493b208e851128b746795ff2e90_2 . _:Sig_ffe2f493b208e851128b746795ff2e90_2
. _:Sig_ffe2f493b208e851128b746795ff2e90_2
. _:Sig_ffe2f493b208e851128b746795ff2e90_2
"Anne E. Haxthausen" . _:Sig_ffe2f493b208e851128b746795ff2e90_2
. _:Sig_ffe2f493b208e851128b746795ff2e90_2
"2"^^
. _:Sig_ffe2f493b208e851128b746795ff2e90_2
.
_:Sig_ffe2f493b208e851128b746795ff2e90_3 . _:Sig_ffe2f493b208e851128b746795ff2e90_3
. _:Sig_ffe2f493b208e851128b746795ff2e90_3
. _:Sig_ffe2f493b208e851128b746795ff2e90_3
"Bernd Krieg-Br\u00FCckner" . _:Sig_ffe2f493b208e851128b746795ff2e90_3
. _:Sig_ffe2f493b208e851128b746795ff2e90_3
"3"^^
. _:Sig_ffe2f493b208e851128b746795ff2e90_3
.
.
.
.
.
"126-145" .
"WADT" .
"WADT" .
"1999"^^
.
"2000"^^
.
.
"provenance information for RDF data of dblp record 'conf/wadt/MossakowskiHK99'" .
.
.
.
"2022-10-02T16:17:15+0200" .
