Mathematical Theory and Computational Practice

Beschreibung

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.

The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

Autor*in

Klaus Ambos-Spies

Themen in »Mathematical Theory and Computational Practice«

algebras algorithms combinatorial optimization complexity computability computable model theory computational complexity computational modeling constraint satisfaction dynamical systems first-order logic heuristics logic modeling optimization

Stimmen zu »Mathematical Theory and Computational Practice«

Details

Link teilen