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