Bücher

Cultures of Mathematics and Logic Cultures of Mathematics and Logic
2016
New Computational Paradigms New Computational Paradigms
2007
Logic and the Foundations of Game and Decision Theory - LOFT 8 Logic and the Foundations of Game and Decision Theory - LOFT 8
2010
Models of Computation in Context Models of Computation in Context
2011
Computation and Logic in the Real World Computation and Logic in the Real World
2007
Programs, Proofs, Processes Programs, Proofs, Processes
2010