ARA

MaRDI QIDQ20513swMATHFDO

Official website http://www-sr.informatik.uni-tuebingen.de/~sinz/ARA/

Cited in

(6)

• Toward a verified relational database management system
• Ralf
• RALL
• An efficient relational deductive system for propositional non-classical logics
• Automated verification of relational while-programs
• Finite methods in 1-order formalisms

This page was built for software: ARA