Sökt på: Ulrich Berger
totalt 159 träffar
Logic, Construction, Computation
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from …
Logical Approaches to Computational Barriers
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on …
Kartenzahlungen im Euro-Zahlungsraum
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite …
Deutsches und Internationales Bank- und Wirtschaftsrecht im Wandel
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …
DuMont Reise-Taschenbuch Eifel, Aachen, Trier
Revolutions and Revelations in Computability
This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022. The 19 full papers together with 7 invited papers …
Logic, Construction, Computation
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from …
Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in …
The Economics of Two-Way Interconnection
For his research on the topic of this book Ulrich Berger was awarded the Research Prize of the Vodafone Foundation and the WU Best Paper Award. This book studies the economics of …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …