M. Baaz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Reception of Gödel's 1931 Incompletability Theorems by Mathematicians, and Some Logicians, to the Early 1960s

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

52

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Impact of Gödel's Incompleteness Theorems on Mathematics

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 208 KB

english, 2011

53

Routledge Handbook of African Security || The Gendered Subject of Violence in African Conflicts

Baaz, Maria Eriksson

Year:

2013

Language:

english

File:

PDF, 118 KB

english, 2013

54

Heritage Temples, Replicas, and Repetitions: Theorizing the Significance of Repeats as Resistance

Lilja, Mona, Baaz, Mikael

Journal:

International Journal of Politics, Culture, and Society

Year:

2018

Language:

english

File:

PDF, 490 KB

english, 2018

55

[Lecture Notes in Computer Science] Computer Science Logic Volume 2803 || A Fixed-Point Logic with Symmetric Choice

Baaz, Matthias, Makowsky, Johann A.

Year:

2003

Language:

english

File:

PDF, 208 KB

english, 2003

56

Exploring the Backstage: Methodological and Ethical Issues Surrounding the Role of Research Brokers in Insecure Zones

Eriksson Baaz, Maria, Utas, Mats

Journal:

Year:

2019

Language:

english

File:

PDF, 1.89 MB

english, 2019

57

Extended ISIS sequences insensitive to T1 smearing

Maria Ljungberg, Göran Starck, Barbro Vikhoff-Baaz, Magne Alpsten, Sven Ekholm, Eva Forssell-Aronsson

Journal:

Magnetic Resonance in Medicine

Year:

2000

Language:

english

File:

PDF, 246 KB

english, 2000

58

Koordinationserscheinungen in Elektrolytlösungen von Halogeniden und Oxyhalogeniden

Prof. Dr. techn. et phil. V. Gutmann, cand. phil. M. Baaz

Journal:

Angewandte Chemie

Year:

1959

Language:

german

File:

PDF, 999 KB

german, 1959

59

Quantitative phase-contrast flow MRI measurements in the presence of a second vessel closely positioned to the examined vessel

Kerstin M. Lagerstrand, Barbro Vikhoff-Baaz, Göran Starck, Eva Forssell-Aronsson

Journal:

Journal of Magnetic Resonance Imaging

Year:

2006

Language:

english

File:

PDF, 464 KB

english, 2006

60

Method to correct for the effects of limited spatial resolution in phase-contrast flow MRI measurements

K.M Lagerstrand, H. Lehmann, G. Starck, B. Vikhoff-Baaz, S. Ekholm, E. Forssell-Aronsson

Journal:

Magnetic Resonance in Medicine

Year:

2002

Language:

english

File:

PDF, 210 KB

english, 2002

61

Flow-induced disturbances in balanced steady-state free precession images: Means to reduce or exploit them

K.M. Lagerstrand, D.B. Plewes, B. Vikhoff-Baaz, E. Forssell-Aronsson

Journal:

Magnetic Resonance in Medicine

Year:

2009

Language:

english

File:

PDF, 480 KB

english, 2009

62

Contrast agent influences MRI phase-contrast flow measurements in small vessels

Kerstin M. Lagerstrand, Barbro Vikhoff-Baaz, Göran Starck, Eva Forssell-Aronsson

Journal:

Magnetic Resonance in Medicine

Year:

2010

Language:

english

File:

PDF, 243 KB

english, 2010

63

Resolution-based Theorem Proving for Many-valued Logics

Matthias Baaz, Christian G. Fermüller

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.20 MB

1995

64

Cut-elimination and Redundancy-elimination by Resolution

Matthias Baaz, Alexander Leitsch

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 379 KB

english, 2000

65

Konduktometrische untersuchungen in phosphoroxychlorid

V. Gutmann, M. Baaz

Journal:

Electrochimica Acta

Year:

1960

File:

PDF, 601 KB

1960

66

Complexity of resolution proofs and function introduction

Matthias Baaz, Alexander Leitsch

Journal:

Annals of Pure and Applied Logic

Year:

1992

Language:

english

File:

PDF, 2.23 MB

english, 1992

67

Generalizing theorems in real closed fields

Matthias Baaz, Richard Zach

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.45 MB

english, 1995

68

Completeness of a first-order temporal logic with time-gaps

Matthias Baaz, Alexander Leitsch, Richard Zach

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.30 MB

english, 1996

69

Controlling witnesses

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

70

Generalizing proofs in monadic languages

Matthias Baaz, Piotr Wojtylak

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 1.06 MB

english, 2008

71

Foreword

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 134 KB

english, 2009

72

Towards a clausal analysis of cut-elimination

Matthias Baaz, Alexander Leitsch

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

73

Cut normal forms and proof complexity

Matthias Baaz, Alexander Leitsch

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 2.94 MB

english, 1999

74

Note on the generalization of calculations

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 422 KB

english, 1999

75

Point-wise measurements of MRS volume selection performance are insensitive to magnetic susceptibility effects of phantom materials

Göran Starckab, Maria Ljungberg, Barbro Vikhoff-Baaz, Magne Alpsten, Sven Ekholm, Eva Forssell-Aronsson

Journal:

Magnetic Resonance Imaging

Year:

2000

Language:

english

File:

PDF, 1.20 MB

english, 2000

76

Effects of k-space filtering and image interpolation on image fidelity in 1H MRSI

Barbro Vikhoff-Baaz, Göran Starck, Maria Ljungberg, Kerstin Lagerstrand, Eva Forssell-Aronsson, Sven Ekholm

Journal:

Magnetic Resonance Imaging

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

77

Signal profile measurements of single- and double-volume acquisitions with image-selected in vivo spectroscopy for 31P magnetic resonance spectroscopy

Maria Ljungberg, Göran Starck, Barbro Vikhoff-Baaz, Eva Forssell-Aronsson, Magne Alpsten, Sven Ekholm

Journal:

Magnetic Resonance Imaging

Year:

1998

Language:

english

File:

PDF, 201 KB

english, 1998

78

Performance of 2D 1H spectroscopic imaging of the brain: some practical considerations regarding the measurement procedure

Barbro Vikhoff-Baaz, Maria Ljungberg, Göran Starck, Eva Forssell-Aronsson, Lars Jönsson, Magne Alpsten, Sven Ekholm

Journal:

Magnetic Resonance Imaging

Year:

1999

Language:

english

File:

PDF, 394 KB

english, 1999

79

31P MRS evaluation of fatigue in anterior tibial muscle in postpoliomyelitis patients and healthy volunteers

M. Ljungberg, K. Stibrant Sunnerhagen, B. Vikhoff-Baaz, G. Starck, E. Forssell-Aronsson, M. Hedberg, S. Ekholm, G. Grimby

Journal:

Clinical Physiology and Functional Imaging

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

80

Das Solvosystem Phosphoroxychlorid. X. Einige Betrachtungen über den Lösungszustand von Chloriden

V. Gutmann, M. Baaz

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

1959

File:

PDF, 560 KB

1959

81

Über das amphotere Verhalten von Aluminiumchlorid in Phosphoroxychlorid und Phenylphosphoroxychlorid

M. Baaz, V. Gutmann, L. Hübner, F. Mairinger, T. S. West

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

1961

Language:

german

File:

PDF, 553 KB

german, 1961

82

Beiträge zur Grenzflächenchemie phosphororganischer Verbindungen

H. Zorn, K. Baaz

Journal:

Colloid & Polymer Science

Year:

1970

Language:

german

File:

PDF, 779 KB

german, 1970

83

Beiträge zur Grenzflächenchemie phosphororganischer Verbindungen

Journal:

Colloid & Polymer Science

Year:

1970

File:

PDF, 1.15 MB

1970

84

Beiträge zur Grenzflächenchemie phosphororganischer Verbindungen

Journal:

Colloid & Polymer Science

Year:

1970

Language:

german

File:

PDF, 1.08 MB

german, 1970

85

Beiträge zur Grenzflächenchemie phosphororganischer Verbindungen

Journal:

Colloid & Polymer Science

Year:

1970

Language:

german

File:

PDF, 746 KB

german, 1970

86

The magnitude of signal errors introduced by ISIS in quantitative31P MRS

Maria Ljungberg, Göran Starck, Barbro Vikhoff-Baaz, Magne Alpsten, Sven Ekholm, Eva Forssell-Aronsson

Journal:

Magnetic Resonance Materials in Physics, Biology and Medicine

Year:

2002

Language:

english

File:

PDF, 3.40 MB

english, 2002

87

Buchbesprechungen

Hermann Ebenberger, Maria F. Ebel, Matthias Baaz

Journal:

e & i Elektrotechnik und Informationstechnik

Year:

1998

Language:

german

File:

PDF, 121 KB

german, 1998

88

Herbrand's theorem and term induction

Matthias Baaz, Georg Moser

Journal:

Archive for Mathematical Logic

Year:

2006

Language:

english

File:

PDF, 445 KB

english, 2006

89

Note on generalizing theorems in algebraically closed fields

Matthias Baaz, Richard Zach

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 138 KB

english, 1998

90

Interpolation in fuzzy logic

Matthias Baaz, Helmut Veith

Journal:

Archive for Mathematical Logic

Year:

1999

Language:

english

File:

PDF, 195 KB

english, 1999

91

Lateralisation with magnetic resonance spectroscopic imaging in temporal lobe epilepsy: an evaluation of visual and region-of-interest analysis of metabolite concentration images

B. Vikhoff-Baaz, K. Malmgren, L. Jönsson, G. Starck, M. Ljungberg, E. Forssell-Aronsson, P. Uvebrant, S. Ekholm

Journal:

Year:

2001

Language:

english

File:

PDF, 128 KB

english, 2001

92

First-order Gödel logics

Matthias Baaz, Norbert Preining, Richard Zach

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 518 KB

english, 2007

93

The Skolemization of existential quantifiers in intuitionistic logic

Matthias Baaz, Rosalie Iemhoff

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 436 KB

english, 2006

94

Note on witnessed Gödel logics with Delta

Matthias Baaz, Oliver Fasching

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

95

The Cato Institute, Washington DC, USA.

Journal:

Economic Affairs

Year:

1987

File:

PDF, 306 KB

1987

96

Labeled Calculi and Finite-Valued Logics

Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach

Journal:

Year:

1998

File:

PDF, 1.21 MB

1998

97

Embedding Logics into Product Logic

Matthias Baaz, Petr Hájek, David Švejda, Jan Krajíček

Journal:

Year:

1998

File:

PDF, 567 KB

1998

98

Das Verhalten von Bor(III)-chlorid in Phosphoroxychloridlösungen

M. Baaz, V. Gutmann, L. Hübner

Journal:

Monatshefte für Chemie - Chemical Monthly

Year:

1960

Language:

german

File:

PDF, 407 KB

german, 1960

99

Leitfähigkeitsmessungen in Phosphoroxychlorid. 4. Mitt.: Antimonpentachlorid

M. Baaz, V. Gutmann

Journal:

Monatshefte für Chemie - Chemical Monthly

Year:

1959

Language:

german

File:

PDF, 802 KB

german, 1959

100

Leitfähigkeitsmessungen in Phosphoroxychlorid. 5. Mitt.: Eisen(III)-chlorid und Aluminiumchlorid

Y. Gutmann, M. Baaz

Journal:

Monatshefte für Chemie - Chemical Monthly

Year:

1959

Language:

german

File:

PDF, 716 KB

german, 1959