Computer Sciences Dept.

A Framework for Testing Safety and Effective Computability of Extended Datalog

Ravi Krishnamurthy, Raghu Ramakrishnan and Oded Shmueli
1988

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home