Ed Voermans

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 3

Top Topics

Partial Ordering

Relation Algebra

Shows A Significant Improvement

Top Venues

Publications

Ed Voermans, Jules Desharnais, Roland Carl Backhouse
The Thins Ordering on Relations. CoRR (2024)
Roland Carl Backhouse, Ed Voermans
Diagonals and Block-Ordered Relations. CoRR (2024)
Roland Carl Backhouse, Ed Voermans
The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra. CoRR (2023)
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
Fixed-Point Calculus. Inf. Process. Lett. 53 (3) (1995)
Ed Voermans
Pers as Types, Inductive Types and Types with Laws. Declarative Programming (1991)
Graham Hutton, Ed Voermans
Making Functionality More General. Functional Programming (1991)
Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
Polynomial Relators (Extended Abstract). AMAST (1991)