Ralf
From MaRDI portal
Software:20512
swMATH8503MaRDI QIDQ20512FDOQ20512
Author name not available (Why is that?)
Cited In (6)
- Gunther Schmidt's life as a mathematician and computer scientist
- RALL: Machine-supported proofs for relation algebra
- Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
- Automated Verification of Relational While-Programs
- Title not available (Why is that?)
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for software: Ralf
