Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
Loading...
Files
Date
Authors
Ramakrishnan, Raghu
Srivastava, Divesh
Sudarshan, S
Advisors
License
DOI
Type
Technical Report
Journal Title
Journal ISSN
Volume Title
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Grantor
Abstract
Description
Keywords
Related Material and Data
Citation
TR1059