TituRel
From MaRDI portal
Cited in
(11)- RelView
- Rath
- Ralf
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- Implementing relational specifications in a constraint functional logic language
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- Relational concepts in social choice
- A functional, successor list based version of Warshall's algorithm with applications
- Gunther Schmidt's life as a mathematician and computer scientist
- A Point-Free Relation-Algebraic Approach to General Topology
- Relational measures and integration in preference modeling
This page was built for software: TituRel
