Pages that link to "Item:Q686642"
From MaRDI portal
The following pages link to A logic for programming with complex objects (Q686642):
Displaying 12 items.
- The expressive power of cardinality-bounded set values in object-based data models (Q672334) (← links)
- A semideterministic approach to object creation and nondeterminism in database queries (Q676418) (← links)
- A logical framework for deductive objects (Q688277) (← links)
- Extended database logic: Complex objects and deduction (Q918674) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- An object-oriented deductive language (Q1360678) (← links)
- On the expressive power of F-logic language (Q1375331) (← links)
- MGS: a rule-based programming language for complex objects and collections (Q2841247) (← links)
- (Q4287504) (← links)
- Logical foundations of object-oriented and frame-based languages (Q4369882) (← links)
- (Q4560265) (← links)
- Categorial graphs (Q5055898) (← links)