автор: Samson Abramsky

поддержка
Samson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UK Juha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, Finland Jouko Väänänen, Dean of the Faculty of Science and Professor,  Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The Netherlands Heribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany




5 Электронные книги Samson Abramsky

Samson Abramsky & Juha Kontinen: Dependence Logic
In this volume, different aspects of logics for dependence and independence are discussed, including both the  logical and computational aspects of dependence logic, and also applications   …
PDF
английский
€53.49
Samson Abramsky: Mathematical Foundations of Information Flow
This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tulane University in New Orleans, Louisiana. The vary …
PDF
DRM
€119.10
Samson Abramsky: Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers …
PDF
английский
DRM
€57.99