iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/journals/jfp/AbelAHPMSS19.nt
.
.
.
.
.
.
"Andreas Abel et al.: POPLMark reloaded: Mechanizing proofs by logical relations. (2019)" .
.
.
_:ID_bb9619b3e7a733c1ce3e9987cb9d7a00 . _:ID_bb9619b3e7a733c1ce3e9987cb9d7a00
. _:ID_bb9619b3e7a733c1ce3e9987cb9d7a00
. _:ID_bb9619b3e7a733c1ce3e9987cb9d7a00
. _:ID_bb9619b3e7a733c1ce3e9987cb9d7a00
"journals/jfp/AbelAHPMSS19" .
_:ID_c343391d5cbdf2846ab8ad010af23cfa . _:ID_c343391d5cbdf2846ab8ad010af23cfa
. _:ID_c343391d5cbdf2846ab8ad010af23cfa
. _:ID_c343391d5cbdf2846ab8ad010af23cfa
. _:ID_c343391d5cbdf2846ab8ad010af23cfa
"10.1017/S0956796819000170" .
_:ID_aa60f3e052f31cc8fe4a4bb3308e71c4 . _:ID_aa60f3e052f31cc8fe4a4bb3308e71c4
. _:ID_aa60f3e052f31cc8fe4a4bb3308e71c4
. _:ID_aa60f3e052f31cc8fe4a4bb3308e71c4
"Q113857457" .
"POPLMark reloaded: Mechanizing proofs by logical relations." .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
"7"^^
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
"Andreas Abel 0001" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
"1"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_1
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
"Guillaume Allais" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
"2"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_2
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
"Aliya Hameer" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
"3"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_3
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
"Brigitte Pientka" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
"4"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_4
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
"Alberto Momigliano" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
"5"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_5
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
"Steven Sch\u00E4fer" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
"6"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_6
.
_:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7 . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
"Kathrin Stark" . _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
"7"^^
. _:Sig_6e23c515cdb9a57d80cc44e9b1afebbc_7
.
.
.
.
.
"e19" .
"J. Funct. Program." .
"J. Funct. Program." .
"29" .
"2019"^^
.
"provenance information for RDF data of dblp record 'journals/jfp/AbelAHPMSS19'" .
.
.
.
"2023-08-28T21:42:08+0200" .
