Nitrate attenuation in groundwater: A review of biogeochemical controlling processes von Rivett, Michael O., Buss, Stephen R., Morgan, Philip, Smith, Jonathan W.N., Bemment, Chrystina D.

Volltext

Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 von Cherniavsky, John C, Constable, Robert, Gallier, Jean, Buss David Scott Bernard Buss Samuel, Buss, S R, Scott, P J

Volltext

Measurement and monitoring von Standing, JR, Buss, SR

Volltext

The undecidability of k-provability von BUSS, S. R

Volltext

Alogtime algorithms for tree isomorphism, comparison, and canonization von Buss, Samuel R.

Volltext

Limits on Alternation-Trading Proofs for Time-Space Lower Bounds von Buss, S. R., Williams, R.

Volltext

Handbook of Proof Theory von Buss, S. R

Volltext

Aspects of Incompleteness von Buss, S. R, Lachlan, A, Slaman, T

Volltext

Relating the bounded arithmetic and polynomial time hierarchies von Buss, Samuel R.

Volltext

Some remarks on lengths of propositional proofs von Buss, Samuel R.

Volltext

Model Theory of Fields von Buss, S. R, Girard, J.-Y, Lachlan, A, Pillay, A

Volltext

Linear and O(n log n) time minimum-cost matching algorithms for quasi-convex tours von BUSS, S. R, YIANILOS, P. N

Volltext

Intuitionistic validity in T-normal Kripke structures von Buss, Samuel R.

Volltext

Polynomial size proofs of the propositional pigeonhole principle von Buss, Samuel R.

Volltext

Size-depth tradeoffs for Boolean formulae von Bonet, Maria Luisa, Buss, Samuel R.

Volltext

Propositional consistency proofs von Buss, Samuel R.

Volltext

Unprovability of consistency statements in fragments of bounded arithmetic von Buss, Samuel R., Ignjatović, Aleksandar

Volltext

The graph of multiplication is equivalent to counting von Buss, Samuel R.

Volltext

Teh serial transitive closure problem for trees von BONET, M. L, BUSS, S. R

Volltext

Lapatinib versus trastuzumab in combination with neoadjuvant anthracycline-taxane-based chemotherapy (GeparQuinto, GBG 44): a randomised phase 3 trial von Untch, Michael, Prof, Loibl, Sibylle, MD, Bischoff, Joachim, MD, Eidtmann, Holger, MD, Kaufmann, Manfred, Prof, Blohmer, Jens-Uwe, Prof, Hilfrich, Jörn, Prof, Strumberg, Dirk, Prof, Fasching, Peter A, Prof, Kreienberg, Rolf, Prof, Tesch, Hans, Prof, Hanusch, Claus, MD, Gerber, Bernd, Prof, Rezai, Mahdi, MD, Jackisch, Christian, Prof, Huober, Jens, Prof, Kühn, Thorsten, Prof, Nekljudova, Valentina, PhD, von Minckwitz, Gunter, Prof

Volltext