Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jaap van der Woude"'
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 124:100730
Central to algorithmic graph theory are the concepts of acyclicity and strongly connected components of a graph, and the related search algorithms. This article is about combining mathematical precision and concision in the presentation of these conc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c1629efa5c87abd209964a61a6487e9
https://doi.org/10.1016/j.jlamp.2021.100730
https://doi.org/10.1016/j.jlamp.2021.100730
Publikováno v:
Theoretical Computer Science, 179(1-2), 103-135. Elsevier
Several concise formulations of mathematical induction are presented and proved equivalent. The formulations are expressed in variable-free relation algebra and thus are in terms of relations only, without mentioning the related objects. It is shown
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bae079b936fd2b13f389648577868fdc
https://doi.org/10.1016/s0304-3975(96)00154-5
https://doi.org/10.1016/s0304-3975(96)00154-5
Publikováno v:
Mathematical Structures in Computer Science, 3(4), 417-433. Cambridge University Press
This paper tackles the problem of constructing a compact, point-free proof of the associativity of demonic composition of binary relations and its distributivity through demonic choice. In order to achieve this goal, a definition of demonic compositi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bddc276410687fa0a936b322f1a87ed
https://research.tue.nl/nl/publications/08e05c09-d5ee-4313-9ba5-e7f59caa77ca
https://research.tue.nl/nl/publications/08e05c09-d5ee-4313-9ba5-e7f59caa77ca
Publikováno v:
Ergodic Theory and Dynamical Systems. 4:323-351
We discuss weak disjointness of homomorphisms of minimal transformation groups and use the techniques involved to deepen our knowledge of the equicontinuous structure relation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8592fe5b4c6037218bde7acca7cd313c
https://doi.org/10.1017/s0143385700002492
https://doi.org/10.1017/s0143385700002492
Autor:
Joseph Auslander, Jaap van der Woude
Publikováno v:
Ergodic Theory and Dynamical Systems. 1:389-412
We study minimal flows and their extensions by means of the associated maximally highly proximal flows. These, in turn, can be represented by highly proximal generators, which are certain subsets of the universal minimal flow. From this point of view
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c4967dc3caa3e723a6e92967ac32f68
https://doi.org/10.1017/s0143385700001334
https://doi.org/10.1017/s0143385700001334