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.dagstuhl.de/rec/journals/afp/Thiemann12.rdf
René Thiemann: Executable Transitive Closures. (2012) journals/afp/Thiemann12 Executable Transitive Closures. 1 René Thiemann 1 Arch. Formal Proofs Arch. Formal Proofs 2012 2012 Formal proof development provenance information for RDF data of dblp record 'journals/afp/Thiemann12' 2020-05-25T09:13:16+0200