iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/icalp/Lampis13.nt
.
.
.
.
.
"Michael Lampis: Model Checking Lower Bounds for Simple Graphs. (2013)" .
.
_:ID_932ea8b41fb361b27323e4ca655fb671 . _:ID_932ea8b41fb361b27323e4ca655fb671
. _:ID_932ea8b41fb361b27323e4ca655fb671
. _:ID_932ea8b41fb361b27323e4ca655fb671
. _:ID_932ea8b41fb361b27323e4ca655fb671
"conf/icalp/Lampis13" .
_:ID_5695ae5cedfa34f55e0d53858e06ce08 . _:ID_5695ae5cedfa34f55e0d53858e06ce08
. _:ID_5695ae5cedfa34f55e0d53858e06ce08
. _:ID_5695ae5cedfa34f55e0d53858e06ce08
. _:ID_5695ae5cedfa34f55e0d53858e06ce08
"10.1007/978-3-642-39206-1_57" .
"Model Checking Lower Bounds for Simple Graphs." .
.
.
.
"1"^^
.
_:Sig_317dd004439f2d6e11730c1a894b822d_1 . _:Sig_317dd004439f2d6e11730c1a894b822d_1
. _:Sig_317dd004439f2d6e11730c1a894b822d_1
. _:Sig_317dd004439f2d6e11730c1a894b822d_1
"Michael Lampis" . _:Sig_317dd004439f2d6e11730c1a894b822d_1
. _:Sig_317dd004439f2d6e11730c1a894b822d_1
"1"^^
. _:Sig_317dd004439f2d6e11730c1a894b822d_1
.
.
.
.
.
"673-683" .
"ICALP (1)" .
"ICALP (1)" .
"2013"^^
.
"2013"^^
.
.
"provenance information for RDF data of dblp record 'conf/icalp/Lampis13'" .
.
.
.
"2017-05-23T01:08:21+0200" .
