iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/lmcs/DownenA20.nt
.
.
"Paul Downen and Zena M. Ariola: Compiling With Classical Connectives. (2020)" .
_:ID_953c15bed89d9bc86d3241672ed0d187 . _:ID_953c15bed89d9bc86d3241672ed0d187
. _:ID_953c15bed89d9bc86d3241672ed0d187
. _:ID_953c15bed89d9bc86d3241672ed0d187
. _:ID_953c15bed89d9bc86d3241672ed0d187
"journals/lmcs/DownenA20" .
"Compiling With Classical Connectives." .
.
.
.
.
.
"2"^^
.
_:Sig_f2d4d08182742b84cacafc29d8a76143_1 . _:Sig_f2d4d08182742b84cacafc29d8a76143_1
. _:Sig_f2d4d08182742b84cacafc29d8a76143_1
. _:Sig_f2d4d08182742b84cacafc29d8a76143_1
"Paul Downen" . _:Sig_f2d4d08182742b84cacafc29d8a76143_1
. _:Sig_f2d4d08182742b84cacafc29d8a76143_1
"1"^^
. _:Sig_f2d4d08182742b84cacafc29d8a76143_1
.
_:Sig_f2d4d08182742b84cacafc29d8a76143_2 . _:Sig_f2d4d08182742b84cacafc29d8a76143_2
. _:Sig_f2d4d08182742b84cacafc29d8a76143_2
. _:Sig_f2d4d08182742b84cacafc29d8a76143_2
"Zena M. Ariola" . _:Sig_f2d4d08182742b84cacafc29d8a76143_2
. _:Sig_f2d4d08182742b84cacafc29d8a76143_2
"2"^^
. _:Sig_f2d4d08182742b84cacafc29d8a76143_2
.
.
.
.
.
"Log. Methods Comput. Sci." .
"Log. Methods Comput. Sci." .
"16" .
"3" .
"2020"^^
.
"provenance information for RDF data of dblp record 'journals/lmcs/DownenA20'" .
.
.
.
"2020-09-30T18:20:57+0200" .
