Searching for "F-Logic A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
F-Logic: a higher-order language for reasoning about objects, inheritance, and scheme
- …F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme Michael…
- Cited by 156 (9 self) – Add To MetaCart
-
[4] A. Kakas and P. Mancarelle. Database Updates Through Abduction. In
- … Systems, pages 379 - 393, 1989. [15] Michael Kifer and Georg Lausen. F-logic: A higher-order language…
- Add To MetaCart
-
A (Not Very Much) Annotated Bibliography on Integrating Object-Oriented and Logic Programming
- …(2):13--17, June 1991. [31] M. Kifer and G. Lansen. F-logic: A higher order language for reasoning about objects…
- Cited by 2 (0 self) – Add To MetaCart
-
INDEX equality 11, 169
- …. Lausen. F-Logic: a higher-order language for reasoning about objects, inheritance and scheme. In SIGMOD…
- Add To MetaCart
-
A Citation-Based System to Assist Prize Awarding
- … of Inexpensive Disks (RAID). David Patterson, Garth Gibson, Randy Katz 1 1 8 2 1989 F-Logic: A Higher-Order…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 5.
