iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/journals/flap/BaazL17.nt
.
.
.
"Matthias Baaz and Alexander Leitsch: On the Complexity of Translations from Classical to Intuitionistic Proofs. (2017)" .
_:ID_02a074ee04bdf592145ba9ccef8ddad1 . _:ID_02a074ee04bdf592145ba9ccef8ddad1
. _:ID_02a074ee04bdf592145ba9ccef8ddad1
. _:ID_02a074ee04bdf592145ba9ccef8ddad1
. _:ID_02a074ee04bdf592145ba9ccef8ddad1
"journals/flap/BaazL17" .
"On the Complexity of Translations from Classical to Intuitionistic Proofs." .
.
.
.
.
.
"2"^^
.
_:Sig_e92e70353607a34efae9a51420d7888d_1 . _:Sig_e92e70353607a34efae9a51420d7888d_1
. _:Sig_e92e70353607a34efae9a51420d7888d_1
. _:Sig_e92e70353607a34efae9a51420d7888d_1
"Matthias Baaz" . _:Sig_e92e70353607a34efae9a51420d7888d_1
. _:Sig_e92e70353607a34efae9a51420d7888d_1
"1"^^
. _:Sig_e92e70353607a34efae9a51420d7888d_1
.
_:Sig_e92e70353607a34efae9a51420d7888d_2 . _:Sig_e92e70353607a34efae9a51420d7888d_2
. _:Sig_e92e70353607a34efae9a51420d7888d_2
. _:Sig_e92e70353607a34efae9a51420d7888d_2
"Alexander Leitsch" . _:Sig_e92e70353607a34efae9a51420d7888d_2
. _:Sig_e92e70353607a34efae9a51420d7888d_2
"2"^^
. _:Sig_e92e70353607a34efae9a51420d7888d_2
.
.
.
.
.
"FLAP" .
"FLAP" .
"4" .
"4" .
"2017"^^
.
"provenance information for RDF data of dblp record 'journals/flap/BaazL17'" .
.
.
.
"2020-03-12T11:27:03+0100" .
