Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2500) 67k Accesses 5 Altmetric This is a preview of subscription content, log in via an institution to check access. About this book A central aim and ever-lasting dream of computer science is to put the development...
Series Title Lecture Notes in Economics and Mathematical Systems Series Volume 131 Series Subtitle Systems Theory Series ISSN 0075-8442 Publisher Springer Berlin Heidelberg Copyright Holder Springer-Verlag Berlin Heidelberg Additional Links About this Book Topics Mathematics, general Industry Sectors Electr...
Lecture Notes in Mathematics Series Volume 1830 Series ISSN 0075-8434 Publisher Springer Berlin Heidelberg Copyright Holder Springer-Verlag Berlin Heidelberg Additional Links About this Book Topics Operator Theory Linear and Multilinear Algebras, Matrix Theory Functions of a Complex Variable Integral ...
2000, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) On the synthesis of strategies in infinite games 1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Note...
2008, Electronic Notes in Theoretical Computer Science Show abstract Reward testing equivalences for processes 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) A fully abstract game semantics for countable nondeterminism...
Mohammed, Stochastic Dynamical Systems in Infinite Dimensions, Trends in Stochastic Analysis, edited by Jochen Blath, Peter Morters and Michael Scheutzow, London Mathematical Society Lecture Note Series, Cambridge University Press, (2008), pp. 30. [11] S.-E. A. Mohammed, and M. K. R. ...
A direction is needed to generate the series of modal determinations, much as an initial set of information is needed to generate subsequent copies or developments. As Cornell notes,[7] this claim seems present in most metaphysical systems that explain the world as we see it, regardless of ...
Cohomology in infinite group theory Derek J. S. Robinson §0. Introduction It is now forty five years since cohomology first made its appearance in group theory via the theory of group extensions. In a series of fundamental articles [7], [8], [21] Eilenberg and Mac Lane (see also Eckma...
Lecture Notes in Computer Science Series Volume 3743 Series ISSN 0302-9743 Publisher Springer Berlin Heidelberg Copyright Holder Springer-Verlag Berlin Heidelberg Additional Links About this Book Topics Numeric Computing Programming Techniques Operating Systems Algorithm Analysis and Problem Complexity ...
• A generalisation of the Gale–Stewart determinacy theorem to a partial order setting. • A model of games on event structures where infinite winning sets are allowed. • A new technique for constructing concurrent strategies as maps of event structures. ...