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/eccc/NordstromH08.rdf
Jakob Nordström and Johan Håstad: Towards an Optimal Separation of Space and Length in Resolution. (2008) journals/eccc/NordstromH08 Towards an Optimal Separation of Space and Length in Resolution. 2 Jakob Nordström 1 Johan Håstad 2 Electron. Colloquium Comput. Complex. Electron. Colloquium Comput. Complex. TR08 2008 provenance information for RDF data of dblp record 'journals/eccc/NordstromH08' 2022-09-28T15:37:35+0200