Ed Voermans

According to our database, Ed Voermans authored at least 7 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra.

Roland Carl Backhouse, Ed Voermans

Fundam. Informaticae, 2024

Diagonals and Block-Ordered Relations.

Roland Carl Backhouse, Ed Voermans

CoRR, 2024

The Thins Ordering on Relations.

Ed Voermans, Jules Desharnais, Roland Carl Backhouse

CoRR, 2024

1995

Fixed-Point Calculus.

Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude

Inf. Process. Lett., 1995

1991

Pers as Types, Inductive Types and Types with Laws.

Ed Voermans

Proceedings of the Declarative Programming, 1991

Making Functionality More General.

Graham Hutton, Ed Voermans

Proceedings of the Functional Programming, 1991

Polynomial Relators (Extended Abstract).

Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991