A Framework for Testing Safety and Effective Computability of Extended Datalog
File(s):
- TR774.pdf (2.783Mb PDF)
- Author(s)
- Publisher
- University of Wisconsin-Madison Department of Computer Sciences
- Date
- Mar 15, 2012
- Permanent link
- http://digital.library.wisc.edu/1793/58984
- Export
- Export to RefWorks