The following pages link to (Q4287504):
Displaying 7 items.
- A logic for programming with complex objects (Q686642) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Object oriented description logic (Q1945242) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Ordered Logic Programming with Sets (Q4286210) (← links)
- (Q4363232) (← links)
- Logical foundations of object-oriented and frame-based languages (Q4369882) (← links)