iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/tapsoft/NavarroO87.nt
.
.
.
.
"Marisa Navarro and Fernando Orejas: Parameterized Horn Clause Specifications: Proof Theory and Correctness. (1987)" .
.
_:ID_72c233ce8e098e894ab85f76e43cc448 . _:ID_72c233ce8e098e894ab85f76e43cc448
. _:ID_72c233ce8e098e894ab85f76e43cc448
. _:ID_72c233ce8e098e894ab85f76e43cc448
. _:ID_72c233ce8e098e894ab85f76e43cc448
"conf/tapsoft/NavarroO87" .
_:ID_73603c17ef7a3ecc632f218e2cd4c58f . _:ID_73603c17ef7a3ecc632f218e2cd4c58f
. _:ID_73603c17ef7a3ecc632f218e2cd4c58f
. _:ID_73603c17ef7a3ecc632f218e2cd4c58f
. _:ID_73603c17ef7a3ecc632f218e2cd4c58f
"10.1007/3-540-17660-8_56" .
"Parameterized Horn Clause Specifications: Proof Theory and Correctness." .
.
.
.
.
.
"2"^^
.
_:Sig_d05aee9137e01e45a8511a398e135404_1 . _:Sig_d05aee9137e01e45a8511a398e135404_1
. _:Sig_d05aee9137e01e45a8511a398e135404_1
. _:Sig_d05aee9137e01e45a8511a398e135404_1
"Marisa Navarro" . _:Sig_d05aee9137e01e45a8511a398e135404_1
. _:Sig_d05aee9137e01e45a8511a398e135404_1
. _:Sig_d05aee9137e01e45a8511a398e135404_1
"1"^^
. _:Sig_d05aee9137e01e45a8511a398e135404_1
.
_:Sig_d05aee9137e01e45a8511a398e135404_2 . _:Sig_d05aee9137e01e45a8511a398e135404_2
. _:Sig_d05aee9137e01e45a8511a398e135404_2
. _:Sig_d05aee9137e01e45a8511a398e135404_2
"Fernando Orejas" . _:Sig_d05aee9137e01e45a8511a398e135404_2
. _:Sig_d05aee9137e01e45a8511a398e135404_2
"2"^^
. _:Sig_d05aee9137e01e45a8511a398e135404_2
.
.
.
.
.
"202-216" .
"TAPSOFT, Vol.1" .
"TAPSOFT, Vol.1" .
"1987"^^
.
"1987"^^
.
.
"provenance information for RDF data of dblp record 'conf/tapsoft/NavarroO87'" .
.
.
.
"2017-09-16T12:10:36+0200" .
