(1 - 14 von 15
)
LICS - Index of Papers and Short Presentations by Authors : U
www.lfcs.inf.ed.ac.uk
Alasdair Urquhart. Paper: Russell Impagliazzo Toniann Pitassi Alasdair Urquhart Upper and lower bounds for tree-like cutting planes proofs (LICS 1994) More Information.
sortiert nach Relevanz / Datum