A Coq library for internal verification of running-times von McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

Volltext

Fair enumeration combinators von NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY

Volltext

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System von Fetscher, Burke, Claessen, Koen, Pałka, Michał, Hughes, John, Findler, Robert Bruce

Volltext

POP-PL: A Patient-Oriented Prescription Programming Language von Florence, Spencer P., Fetscher, Burke, Flatt, Matthew, Temps, William H., St-Amour, Vincent, Kiguradze, Tina, West, Dennis P., Niznik, Charlotte, Yarnold, Paul R., Findler, Robert Bruce, Belknap, Steven M.

Volltext

A Coq Library for Internal Verification of Running-Times von McCarthy, Jay, Fetscher, Burke, New, Max, Feltey, Daniel, Findler, Robert Bruce

Volltext

A novel prognostic model in elderly patients with acute myeloid leukemia: results of 909 patients entered into the prospective AML96 trial von Röllig, Christoph, Thiede, Christian, Gramatzki, Martin, Aulitzky, Walter, Bodenstein, Heinrich, Bornhäuser, Martin, Platzbecker, Uwe, Stuhlmann, Reingard, Schuler, Ulrich, Soucek, Silke, Kramer, Michael, Mohr, Brigitte, Oelschlaegel, Uta, Stölzel, Friedrich, von Bonin, Malte, Wermke, Martin, Wandt, Hannes, Ehninger, Gerhard, Schaich, Markus

Volltext

The prognostic impact of 17p (p53) deletion in 2272 adults with acute myeloid leukemia von Seifert, H, Mohr, B, Thiede, C, Oelschlägel, U, Schäkel, U, Illmer, T, Soucek, S, Ehninger, G, Schaich, M

Volltext

Prediction of post-remission survival in acute myeloid leukaemia: a post-hoc analysis of the AML96 trial von Pfirrmann, Markus, PhD, Ehninger, Gerhard, Prof, Thiede, Christian, Prof, Bornhäuser, Martin, Prof, Kramer, Michael, Röllig, Christoph, MD, Hasford, Joerg, Prof, Schaich, Markus, Prof

Volltext

Risk stratification using a new prognostic score for patients with secondary acute myeloid leukemia: results of the prospective AML96 trial von Stölzel, F, Pfirrmann, M, Aulitzky, W E, Kaufmann, M, Bodenstein, H, Bornhäuser, M, Röllig, C, Kramer, M, Mohr, B, Oelschlägel, U, Schmitz, N, Soucek, S, Thiede, C, Ehninger, G, Schaich, M

Volltext