iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/lics/FiorePP97.nt
.
.
.
.
"Marcelo P. Fiore et al.: Complete Cuboidal Sets in Axiomatic Domain Theory. (1997)" .
.
_:ID_0506b55031c37d25e4fbf166776fd1e4 . _:ID_0506b55031c37d25e4fbf166776fd1e4
. _:ID_0506b55031c37d25e4fbf166776fd1e4
. _:ID_0506b55031c37d25e4fbf166776fd1e4
. _:ID_0506b55031c37d25e4fbf166776fd1e4
"conf/lics/FiorePP97" .
_:ID_c86dbaf9000a50685e9174f204247289 . _:ID_c86dbaf9000a50685e9174f204247289
. _:ID_c86dbaf9000a50685e9174f204247289
. _:ID_c86dbaf9000a50685e9174f204247289
. _:ID_c86dbaf9000a50685e9174f204247289
"10.1109/LICS.1997.614954" .
"Complete Cuboidal Sets in Axiomatic Domain Theory." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_a355dca055af48e1834b18b69b5b9da0_1 . _:Sig_a355dca055af48e1834b18b69b5b9da0_1
. _:Sig_a355dca055af48e1834b18b69b5b9da0_1
. _:Sig_a355dca055af48e1834b18b69b5b9da0_1
"Marcelo P. Fiore" . _:Sig_a355dca055af48e1834b18b69b5b9da0_1
. _:Sig_a355dca055af48e1834b18b69b5b9da0_1
"1"^^
. _:Sig_a355dca055af48e1834b18b69b5b9da0_1
.
_:Sig_a355dca055af48e1834b18b69b5b9da0_2 . _:Sig_a355dca055af48e1834b18b69b5b9da0_2
. _:Sig_a355dca055af48e1834b18b69b5b9da0_2
. _:Sig_a355dca055af48e1834b18b69b5b9da0_2
"Gordon D. Plotkin" . _:Sig_a355dca055af48e1834b18b69b5b9da0_2
. _:Sig_a355dca055af48e1834b18b69b5b9da0_2
"2"^^
. _:Sig_a355dca055af48e1834b18b69b5b9da0_2
.
_:Sig_a355dca055af48e1834b18b69b5b9da0_3 . _:Sig_a355dca055af48e1834b18b69b5b9da0_3
. _:Sig_a355dca055af48e1834b18b69b5b9da0_3
. _:Sig_a355dca055af48e1834b18b69b5b9da0_3
"A. John Power" . _:Sig_a355dca055af48e1834b18b69b5b9da0_3
. _:Sig_a355dca055af48e1834b18b69b5b9da0_3
"3"^^
. _:Sig_a355dca055af48e1834b18b69b5b9da0_3
.
.
.
.
.
.
"268-278" .
"LICS" .
"LICS" .
"1997"^^
.
"1997"^^
.
.
"provenance information for RDF data of dblp record 'conf/lics/FiorePP97'" .
.
.
.
"2023-03-24T00:01:49+0100" .
