Source: Provided by account holder, used by permission.
Author Menu
1994
| Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples. |
1999
| The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey o....[more] |
2007
| Co-Translator of this German work by Eckart Menzler-Trott |
(C) Copyright 2010 FiledBy, Inc. All Rights Reserved.