Löwes, Benedikt: search on Z-Library

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

Don't use scam websites

51

Computability in Europe 2011

Buss, Sam, Löwe, Benedikt, Normann, Dag, Soskov, Ivan

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 104 KB

english, 2013

52

[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 || Liquid Computing

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2007

Language:

english

File:

PDF, 534 KB

english, 2007

53

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Multi-valued Functions in Computability Theory

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 186 KB

english, 2012

54

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

55

New Computational Paradigms ||

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2008

Language:

english

File:

PDF, 5.22 MB

english, 2008

56

[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 || Using Random Graphs in Population Genomics

Bonizzoni, Paola, Brattka, Vasco, Löwe, Benedikt

Year:

2013

Language:

english

File:

PDF, 55 KB

english, 2013

57

[Trends in Logic] Foundations of the Formal Sciences II Volume 17 ||

Löwe, Benedikt, Malzkom, Wolfgang, Räsch, Thoralf

Year:

2003

Language:

english

File:

PDF, 43.56 MB

english, 2003

58

[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 ||

Bonizzoni, Paola, Brattka, Vasco, Löwe, Benedikt

Year:

2013

Language:

english

File:

PDF, 6.14 MB

english, 2013

59

New Computational Paradigms || A Survey on Continuous Time Computations

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2008

Language:

english

File:

PDF, 494 KB

english, 2008

60

[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 ||

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2007

Language:

english

File:

PDF, 14.65 MB

english, 2007

61

Turing Centenary Conference: How the World Computes

Cooper, S. Barry, Dawar, Anuj, Hyland, Martin, Löwe, Benedikt

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 555 KB

english, 2014

62

Primary glioblastoma cultures: can profiling of stem cell markers predict radiotherapy sensitivity?

Lemke, Dieter, Weiler, Markus, Blaes, Jonas, Wiestler, Benedikt, Jestaedt, Leonie, Klein, Ann-Catherine, Löw, Sarah, Eisele, Günter, Radlwimmer, Bernhard, Capper, David, Schmieder, Kirsten, Mittelbron

Journal:

Journal of Neurochemistry

Year:

2014

Language:

english

File:

PDF, 1.35 MB

english, 2014

63

[Lecture Notes in Computer Science] Programs, Proofs, Processes Volume 6158 || Circuit Complexity and Multiplicative Complexity of Boolean Functions

Ferreira, Fernando, Löwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, Luís

Year:

2010

Language:

english

File:

PDF, 147 KB

english, 2010

64

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || The Fan Theorem and Uniform Continuity

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 112 KB

english, 2005

65

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Infinitary Computability with Infinite Time Turing Machines

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 128 KB

english, 2005

66

Games of Length ω· 2

Benedikt Löwe and Philipp Rohde

Journal:

Proceedings of the American Mathematical Society

Year:

2002

Language:

english

File:

PDF, 123 KB

english, 2002

67

[Lecture Notes in Computer Science] Infinity in Logic and Computation Volume 5489 ||

Archibald, Margaret, Brattka, Vasco, Goranko, Valentin, Löwe, Benedikt

Year:

2009

Language:

english

File:

PDF, 3.10 MB

english, 2009

68

GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

LÖWE, BENEDIKT, TARAFDER, SOURAV

Journal:

The Review of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 153 KB

english, 2015

69

Mathematics of computing at CiE 2005

COOPER, S. BARRY, LÖWE, BENEDIKT, NORMANN, DAG

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

70

Canonical measure assignments

Jackson, Steve, Löwe, Benedikt

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 15.59 MB

english, 2013

71

[Lecture Notes in Computer Science] Logical Approaches to Computational Barriers Volume 3988 || Do Noetherian Modules Have Noetherian Basis Functions?

Beckmann, Arnold, Berger, Ulrich, Löwe, Benedikt, Tucker, John V.

Year:

2006

Language:

english

File:

PDF, 316 KB

english, 2006

72

[Lecture Notes in Computer Science] Logical Approaches to Computational Barriers Volume 3988 || Inverting Monotone Continuous Functions in Constructive Analysis

Beckmann, Arnold, Berger, Ulrich, Löwe, Benedikt, Tucker, John V.

Year:

2006

Language:

english

File:

PDF, 365 KB

english, 2006

73

[Lecture Notes in Computer Science] Logical Approaches to Computational Barriers Volume 3988 ||

Beckmann, Arnold, Berger, Ulrich, Löwe, Benedikt, Tucker, John V.

Year:

2006

Language:

english

File:

PDF, 6.80 MB

english, 2006

74

Silver Measurability and its relation to other regularity properties

BRENDLE, JÖRG, HALBEISEN, LORENZ, LÖWE, BENEDIKT

Journal:

Mathematical Proceedings of the Cambridge Philosophical Society

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

75

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Recursion and Complexity

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 143 KB

english, 2005

76

New Computational Paradigms || A Tutorial on Computable Analysis

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2008

Language:

english

File:

PDF, 679 KB

english, 2008

77

[Lecture Notes in Computer Science] Infinity in Logic and Computation Volume 5489 || Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions

Archibald, Margaret, Brattka, Vasco, Goranko, Valentin, Löwe, Benedikt

Year:

2009

Language:

english

File:

PDF, 518 KB

english, 2009

78

Solovay-type characterizations for forcing-algebras

Brendle, Jörg, Löwe, Benedikt

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 999 KB

english, 1999

79

[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 || Computability and Incomputability

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

80

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Computability and Discrete Dynamical Systems

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 35 KB

english, 2005

81

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Towards a Theory of Infinite Time Blum-Shub-Smale Machines

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 198 KB

english, 2012

82

[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 || Various Regularity Lemmas in Graphs and Hypergraphs

Bonizzoni, Paola, Brattka, Vasco, Löwe, Benedikt

Year:

2013

File:

PDF, 38 KB

2013

83

New Computational Paradigms || Applications of the Kleene–Kreisel Density Theorem to Theoretical Computer Science

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2008

Language:

english

File:

PDF, 319 KB

english, 2008

84

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || The Church-Turing Thesis: Breaking the Myth

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 152 KB

english, 2005

85

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Robust Simulations of Turing Machines with Analytic Maps and Flows

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 205 KB

english, 2005

86

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Borel Ranks and Wadge Degrees of Context Free ω-Languages

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

87

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Shrad: A Language for Sequential Real Number Computation

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 45 KB

english, 2005

88

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Finite Trees as Ordinals

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

89

Coordinated Tumor Suppression by Chromosome 8p

Tschaharganeh, Darjus F., Bosbach, Benedikt, Lowe, Scott W.

Journal:

Year:

2016

Language:

english

File:

PDF, 358 KB

english, 2016

90

The BRaliBase dent—a tale of benchmark design and interpretation

Löwes, Benedikt, Chauve, Cedric, Ponty, Yann, Giegerich, Robert

Journal:

Briefings in Bioinformatics

Year:

2016

Language:

english

File:

PDF, 438 KB

english, 2016

91

Computability in Europe 2010

Carbone, Alessandra, Ferreira, Fernando, Löwe, Benedikt, Mayordomo, Elvira

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 76 KB

english, 2015

92

Methods for Investigating Self-Referential Truth || Set-Theoretic Absoluteness and the Revision Theory of Truth

Benedikt Löwe and Philip D. Welch

Journal:

Year:

2001

Language:

english

File:

PDF, 2.07 MB

english, 2001

93

Comparing Inductive and Circular Definitions: Parameters, Complexity and Games

Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld and Philip Welch

Journal:

Year:

2005

Language:

english

File:

PDF, 1.99 MB

english, 2005

94

[Trends in the History of Science] Cultures of Mathematics and Logic || Mathematics in Engineering and Science

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 367 KB

english, 2016

95

[Trends in the History of Science] Cultures of Mathematics and Logic || Philosophy or Not? The Study of Cultures and Practices of Mathematics

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 255 KB

english, 2016

96

[Trends in the History of Science] Cultures of Mathematics and Logic || Transmission and Interactions Among Different Types of Geometrical Argumentations: From Jesuits in China to Nam Pyŏng-Gil in Korea

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 1.23 MB

english, 2016

97

[Trends in the History of Science] Cultures of Mathematics and Logic || A Fashionable Curiosity: Claudius Ptolemy’s ‘Desire for Knowledge’ in Literary Context

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 428 KB

english, 2016

98

[Trends in the History of Science] Cultures of Mathematics and Logic || Abacus as a Programming Language: Computer Science and History of Mathematics

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 922 KB

english, 2016

99

Foundations of the Formal Sciences I || Preface

Benedikt Löwe and Florian Rudolph

Journal:

Year:

2002

Language:

english

File:

PDF, 488 KB

english, 2002

100

Dedicated to the Memory of Leo Esakia || Fatal Heyting Algebras and Forcing Persistent Sentences

Leo Esakia and Benedikt Löwe

Journal:

Year:

2012

Language:

english

File:

PDF, 861 KB

english, 2012