iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/journals/corr/abs-1805-08456.nt
.
.
.
"Michael Lampis et al.: QBF as an Alternative to Courcelle's Theorem. (2018)" .
_:ID_e9063b836e6a1a584b8a33ddb335b359 . _:ID_e9063b836e6a1a584b8a33ddb335b359
. _:ID_e9063b836e6a1a584b8a33ddb335b359
. _:ID_e9063b836e6a1a584b8a33ddb335b359
. _:ID_e9063b836e6a1a584b8a33ddb335b359
"journals/corr/abs-1805-08456" .
_:ID_f8382ad4b8df2ceb2cb444a027d77242 . _:ID_f8382ad4b8df2ceb2cb444a027d77242
. _:ID_f8382ad4b8df2ceb2cb444a027d77242
. _:ID_f8382ad4b8df2ceb2cb444a027d77242
. _:ID_f8382ad4b8df2ceb2cb444a027d77242
"1805.08456" .
"QBF as an Alternative to Courcelle's Theorem." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1 . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
"Michael Lampis" . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
"1"^^
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_1
.
_:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2 . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
"Stefan Mengel" . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
"2"^^
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_2
.
_:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3 . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
"Valia Mitsou" . _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
"3"^^
. _:Sig_d5e85a6062fdb59c386c52baa7c94e9d_3
.
.
.
.
.
"CoRR" .
"CoRR" .
"abs/1805.08456" .
"2018"^^
.
"provenance information for RDF data of dblp record 'journals/corr/abs-1805-08456'" .
.
.
.
"2018-08-13T16:47:48+0200" .
