Expressing Database Queries with Intuitionistic Logic (1989)

Cached

Download Links

by Anthony J. Bonner , L. Thorne Mccarty , Kumar Vadaparty
Venue:Proceedings of the North American Conference on Logic Programming
Citations:12 - 3 self