The following pages link to ARA (Q20513):
Displaying 4 items.
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Toward a verified relational database management system (Q5255077) (← links)
- Automated Verification of Relational While-Programs (Q5410484) (← links)
- Finite methods in 1-order formalisms (Q5957909) (← links)