iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/rta/BonelliKR00.nt
.
.
.
.
"Eduardo Bonelli et al.: A de Bruijn Notation for Higher-Order Rewriting. (2000)" .
.
_:ID_0a1b1956990a0e72638b287e1331e973 . _:ID_0a1b1956990a0e72638b287e1331e973
. _:ID_0a1b1956990a0e72638b287e1331e973
. _:ID_0a1b1956990a0e72638b287e1331e973
. _:ID_0a1b1956990a0e72638b287e1331e973
"conf/rta/BonelliKR00" .
_:ID_261e4c282fbb0bef1be33323159214e1 . _:ID_261e4c282fbb0bef1be33323159214e1
. _:ID_261e4c282fbb0bef1be33323159214e1
. _:ID_261e4c282fbb0bef1be33323159214e1
. _:ID_261e4c282fbb0bef1be33323159214e1
"10.1007/10721975_5" .
"A de Bruijn Notation for Higher-Order Rewriting." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1 . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
"Eduardo Bonelli" . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
"1"^^
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_1
.
_:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2 . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
"Delia Kesner" . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
"2"^^
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_2
.
_:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3 . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
"Alejandro R\u00EDos 0001" . _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
"3"^^
. _:Sig_26e5e9fb3bcd31b68055f922b5f50cb7_3
.
.
.
.
.
"62-79" .
"RTA" .
"RTA" .
"2000"^^
.
"2000"^^
.
.
"provenance information for RDF data of dblp record 'conf/rta/BonelliKR00'" .
.
.
.
"2023-06-28T16:49:14+0200" .
