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
- 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
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures
- 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
