Science of Computer Programming, Volume 101

Volume 101, April 2015

Proposed theories The road to theory
maintained by Schloss Dagstuhl LZI, founded at University of Trier