iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/mfps/Power89.nt
.
.
.
.
"A. John Power: An Algebraic Formulation for Data Refinement. (1989)" .
.
_:ID_2ce5c466db94f43d131e6a1fd63d787c . _:ID_2ce5c466db94f43d131e6a1fd63d787c
. _:ID_2ce5c466db94f43d131e6a1fd63d787c
. _:ID_2ce5c466db94f43d131e6a1fd63d787c
. _:ID_2ce5c466db94f43d131e6a1fd63d787c
"conf/mfps/Power89" .
_:ID_5b44fcdbe317f90048d39364bd8536b3 . _:ID_5b44fcdbe317f90048d39364bd8536b3
. _:ID_5b44fcdbe317f90048d39364bd8536b3
. _:ID_5b44fcdbe317f90048d39364bd8536b3
. _:ID_5b44fcdbe317f90048d39364bd8536b3
"10.1007/BFB0040270" .
"An Algebraic Formulation for Data Refinement." .
.
.
.
"1"^^
.
_:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1 . _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
. _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
. _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
"A. John Power" . _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
. _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
"1"^^
. _:Sig_e4df9460c4d1ddf9cb183a19bf7a6238_1
.
.
.
.
.
"390-401" .
"Mathematical Foundations of Programming Semantics" .
"Mathematical Foundations of Programming Semantics" .
"1989"^^
.
"1990"^^
.
.
"provenance information for RDF data of dblp record 'conf/mfps/Power89'" .
.
.
.
"2017-05-19T13:10:47+0200" .
