Zobrazeno 1 - 9
of 9
pro vyhledávání: '"J.C.S.P. van der Woude"'
Autor:
A. J. M. van Gasteren, C.J. Aarts, Roland Backhouse, Paul F. Hoogendijk, Eerke Albert Boiten, T.S. Voermans, Henk Doornbos, J.C.S.P. van der Woude, H.P.J. van Geldrop van Eijk
Publikováno v:
Information Processing Letters, 53(3), 131-136. Elsevier
The aim of this paper is to present a small calculus of extreme fixed points and to show it in action. The fixed-point theorem that was the main incentive for writing this paper is the fusion theorem presented in Section 3. It exploits the calculatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fb5d1614e5ef5fb67e08dfaf70c37db
https://research.tue.nl/nl/publications/bfb3de3b-268f-4429-962f-78021816f6b8
https://research.tue.nl/nl/publications/bfb3de3b-268f-4429-962f-78021816f6b8
Publikováno v:
Beauty Is Our Business ISBN: 9781461287926
We consider a connected undirected graph. Its node set S is finite and contains at least two elements; its edge set is finite. There are no further restrictions on the topology of the graph; in particular it may contain multiple edges and autoloops.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54a773e8a4ee13d999a205affdb88535
https://doi.org/10.1007/978-1-4612-4476-9_13
https://doi.org/10.1007/978-1-4612-4476-9_13
Autor:
Krzysztof R. Apt, Tony Hoare
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source short
Autor:
J. de Vries
This book is designed as an introduction into what I call'abstract'Topological Dynamics (TO): the study of topological transformation groups with respect to problems that can be traced back to the qualitative theory of differential equa is in the t
Autor:
Edsger W. Dijkstra, Carel S. Scholten
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the
Autor:
Manfred Broy
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensi
An Ellis semigroup is a compact space with a semigroup multiplication which is continuous in only one variable. An Ellis action is an action of an Ellis semigroup on a compact space such that for each point in the space the evaluation map from the se
Autor:
S. Doaitse Swierstra
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibili