Jaap van der Woude

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Categorical fixed point calculus Category Theory and Computer Science	2022-12-16	Paper
Components and acyclicity of graphs. An exercise in combining precision with concision Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Ampersand. Applying relation algebra in practice Relational and Algebraic Methods in Computer Science	2011-06-17	Paper
Relational heterogeneity relaxed by subtyping Relational and Algebraic Methods in Computer Science	2011-06-17	Paper
A calculational approach to mathematical induction Theoretical Computer Science	1998-07-22	Paper
Demonic operators and monotype factors Mathematical Structures in Computer Science	1994-10-19	Paper
Playing with patterns, searching for strings Science of Computer Programming	1989-01-01	Paper
Connectedness related to almost periodicity of compositions of flow homomorphisms Pacific Journal of Mathematics	1987-01-01	Paper
Characterizations of (H)PI extensions Pacific Journal of Mathematics	1985-01-01	Paper
Weak disjointness and the equicontinuous structure relation Ergodic Theory and Dynamical Systems	1984-01-01	Paper
scientific article; zbMATH DE number 3960538 (Why is no real title available?)	1984-01-01	Paper
Maximally highly proximal generators of minimal flows Ergodic Theory and Dynamical Systems	1981-01-01	Paper
scientific article; zbMATH DE number 3714562 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Jaap van der Woude