iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/rta/Hofbauer91.nt
.
.
.
.
.
"Dieter Hofbauer: Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding. (1991)" .
.
_:ID_df3ec6d24ea5b216bf3402e8945206d5 . _:ID_df3ec6d24ea5b216bf3402e8945206d5
. _:ID_df3ec6d24ea5b216bf3402e8945206d5
. _:ID_df3ec6d24ea5b216bf3402e8945206d5
. _:ID_df3ec6d24ea5b216bf3402e8945206d5
"conf/rta/Hofbauer91" .
_:ID_a2a5cc7b1cec8559c76215979c80e92e . _:ID_a2a5cc7b1cec8559c76215979c80e92e
. _:ID_a2a5cc7b1cec8559c76215979c80e92e
. _:ID_a2a5cc7b1cec8559c76215979c80e92e
. _:ID_a2a5cc7b1cec8559c76215979c80e92e
"10.1007/3-540-53904-2_86" .
"Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding." .
.
.
.
"1"^^
.
_:Sig_7d8dee2272917dd25d832a38b83dd291_1 . _:Sig_7d8dee2272917dd25d832a38b83dd291_1
. _:Sig_7d8dee2272917dd25d832a38b83dd291_1
. _:Sig_7d8dee2272917dd25d832a38b83dd291_1
"Dieter Hofbauer" . _:Sig_7d8dee2272917dd25d832a38b83dd291_1
. _:Sig_7d8dee2272917dd25d832a38b83dd291_1
"1"^^
. _:Sig_7d8dee2272917dd25d832a38b83dd291_1
.
.
.
.
.
"62-73" .
"RTA" .
"RTA" .
"1991"^^
.
"1991"^^
.
.
"provenance information for RDF data of dblp record 'conf/rta/Hofbauer91'" .
.
.
.
"2017-05-19T13:10:47+0200" .
