swMATH8503MaRDI QIDQ20512FDOQ20512
Author name not available (Why is that?)
Official website: http://www2.cs.unibw.de/Tools/RALF/ralfmanual.html
Cited In (11)
- Gunther Schmidt's life as a mathematician and computer scientist
- Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
- RelView
- Title not available (Why is that?)
- ARA
- Rath
- RALL
- TituRel
- RALL: machine-supported proofs for relation algebra
- Theory and Applications of Relational Structures as Knowledge Instruments
- Automated verification of relational while-programs
This page was built for software: Ralf
