Search filters

List of works by Rudolf Berghammer

A Relation-Algebraic Approach to Multirelations and Predicate Transformers

An algebraic approach to multirelations and their properties

scientific article published in April 2017

Closure, Properties and Closure Properties of Multirelations

Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive–transitive closures

scientific article published in 2015

Computing and visualizing banks sets of dominance relations using relation algebra and R el V iew

scientific article published in 2013

Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces

scholarly article

Relations and Kleene algebras in computer science

scholarly article by Rudolf Berghammer et al published August 2011 in The Journal of Logic and Algebraic Programming

Solving computational tasks on finite topologies by means of relation algebra and the RelView tool

scientific article published in 2017

Spatial voting games, relation algebra and RelView

scientific article published in 2014

Paulina is supported by:

About Paulina

Help