[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition
- 作者Felty, Amy P.; Middeldorp, Aart
- 文件大小562.78KB
- 发表时间2015
- DOI10.1007/978-3-319-21401-6_37
- 页码539-554
Disseminated tumour cellsVogel, Ilka; Kalthoff, Holger · 2001
Apoptosis: Targets in Pancreatic CancerSabine Westphal; Holger Kalthoff · 2003
251Sperveslage, Jan; Frank, Sunna; Heneweer, Carola; Egberts, Jan; Schniewind, Bodo; Buchholz, Malte; Bergmann, Frank; Giese, Nathalia; Munding, Johanna; Hahn, Stephan; Kalthoff, Holger; Kloeppel, Guenter; Sipos, Bence · Cytokine · 2013
Cytokines in Pancreatic CancerSchmielau, Jan; Kalthoff, Holger; Roeder, Christian; Schmiegel, Wolff · Digestive Surgery · 1994
OP093Purcz, Nicolai; Tiwari, Sanjay; Will, Olga; Heneweer, Carola; Kalthoff, Holger; Glüer, Claus-Christian; Sielker, Sonja; Jung, Susanne; Sproll, Christoph; Açil, Yahya; Wiltfang, Jörg · Oral Oncology · 2013
Dynamics of antibody transport and internalizationSiegfried Matzku; Wolfgang Tilgen; Holger Kalthoff; Wolf H. Schmiegel; Eva-Bettina Brocker · 1988
The role of cytokines in pancreatic cancerJan Schmielau; Holger Kalthoff; Christian Roeder; Wolff Schmiegel · 1996
The role of protein kinases in pancreatic carcinogenesisOle Ammerpohl; Holger Kalthoff · 2007