Browsing by Author "Wang Ke"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- ItemDouble-sided Composition of Relations(1992-03-01T00:00:00Z) Wang Ke; Zhang Weining; Lu HongjunAbstract not available.
- ItemMinimize Linear Mutual Recursion by Rule Unfolding(1992-03-01T00:00:00Z) Wang KeAbstract not available.
- ItemPreservation of Integrity Constraints in Definite Datalog Programs(1992-03-01T00:00:00Z) Wang Ke; Yuan L YAbstract not available.