Arithmetik, Algebra (661 Artikel)

Sections of functors.- Lifting algebras and morphisms of algebras.- Global cohomology.- Global obstruction theory and formal moduli.- Some applications.

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Na...

Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the ...

This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Following repeated suggestions, this English transl...

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Alfredo Ferro's impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics ...

Introduction to Protomodular and Mal'tsev Categories

This work introduces tools, from the field of category theory, that make it possible to tackle until now unsolvable representation problems (determination of the range of a given functor). The basi...

Function spaces, especially those spaces that have become known as Sobolev spaces, and their natural extensions, are now a central concept in analysis. In particular, they play a decisive role in t...

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software sys...

Methodology of proving a finite-state stochastic representability and nonrepresentability.- Non deterministic recursive program schemes.- Some remarks on relational composition in computational the...

Fundamentals of Hopf Algebras

Holomorphe Funktionen.- Der Cauchysche Integralsatz.- Erste Folgerungen aus dem Cauchyschen Integralsatz.- Isolierte Singularitäten.- Analytische Fortsetzung.- Die Umlaufszahlversion des Cauchysche...

We do not perceive the present as it is and in totality, nor do we infer the future from the present with any high degree of dependability, nor yet do we accurately know the consequences of our own...

The volume "Fuzziness in Database Management Systems" is a highly informative, well-organized and up-to-date collection of contributions authored by many of the leading experts in its field. Among ...