Ralf
From MaRDI portal
Cited in
(11)- RelView
- Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
- TituRel
- Rath
- ARA
- RALL
- scientific article; zbMATH DE number 1614695 (Why is no real title available?)
- Gunther Schmidt's life as a mathematician and computer scientist
- RALL: machine-supported proofs for relation algebra
- Automated verification of relational while-programs
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for software: Ralf
