iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/corr/abs-cs-0506014.nt
.
.
"Joost Engelfriet and Sebastian Maneth: The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable (2005)" .
_:ID_59f92968f2984097bc7d21c33763d998 . _:ID_59f92968f2984097bc7d21c33763d998
. _:ID_59f92968f2984097bc7d21c33763d998
. _:ID_59f92968f2984097bc7d21c33763d998
. _:ID_59f92968f2984097bc7d21c33763d998
"journals/corr/abs-cs-0506014" .
_:ID_692b18ba3d0d532a78b3079f29480eff . _:ID_692b18ba3d0d532a78b3079f29480eff
. _:ID_692b18ba3d0d532a78b3079f29480eff
. _:ID_692b18ba3d0d532a78b3079f29480eff
. _:ID_692b18ba3d0d532a78b3079f29480eff
"cs/0506014" .
"The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable" .
.
.
.
.
.
"2"^^
.
_:Sig_46db4845e72bdbdba95f40a02bf774dc_1 . _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
"Joost Engelfriet" . _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
"1"^^
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_1
.
_:Sig_46db4845e72bdbdba95f40a02bf774dc_2 . _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
"Sebastian Maneth" . _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
"2"^^
. _:Sig_46db4845e72bdbdba95f40a02bf774dc_2
.
.
.
.
.
"CoRR" .
"CoRR" .
"abs/cs/0506014" .
"2005"^^
.
"provenance information for RDF data of dblp record 'journals/corr/abs-cs-0506014'" .
.
.
.
"2018-08-13T16:47:27+0200" .
