ARA

swMATH8504MaRDI QIDQ20513FDOQ20513

Author name not available (Why is that?)

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