iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/ita/Lescanne82a.nt
.
.
.
.
"Pierre Lescanne: Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems. (1982)" .
.
_:ID_8c07e2c2852880efdd44f762f181baf0 . _:ID_8c07e2c2852880efdd44f762f181baf0
. _:ID_8c07e2c2852880efdd44f762f181baf0
. _:ID_8c07e2c2852880efdd44f762f181baf0
. _:ID_8c07e2c2852880efdd44f762f181baf0
"journals/ita/Lescanne82a" .
_:ID_bb354e423026e16c09e2a74952d6a3b5 . _:ID_bb354e423026e16c09e2a74952d6a3b5
. _:ID_bb354e423026e16c09e2a74952d6a3b5
. _:ID_bb354e423026e16c09e2a74952d6a3b5
. _:ID_bb354e423026e16c09e2a74952d6a3b5
"10.1051/ITA/1982160403311" .
"Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems." .
.
.
.
"1"^^
.
_:Sig_4f608280e0b1e033a09d97214d0b1a34_1 . _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
. _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
. _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
"Pierre Lescanne" . _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
. _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
"1"^^
. _:Sig_4f608280e0b1e033a09d97214d0b1a34_1
.
.
.
.
.
"331-347" .
"RAIRO Theor. Informatics Appl." .
"RAIRO Theor. Informatics Appl." .
"16" .
"4" .
"1982"^^
.
"provenance information for RDF data of dblp record 'journals/ita/Lescanne82a'" .
.
.
.
"2020-05-25T09:15:57+0200" .
