iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/logcom/SterenB17.rdf
Gabriela Steren and Eduardo Bonelli: The first-order hypothetical logic of proofs. (2017) journals/logcom/SterenB17 10.1093/LOGCOM/EXV090 Q113818623 The first-order hypothetical logic of proofs. 2 Gabriela Steren 1 Eduardo Bonelli 2 1023-1066 J. Log. Comput. J. Log. Comput. 27 4 2017 provenance information for RDF data of dblp record 'journals/logcom/SterenB17' 2023-08-28T21:31:09+0200