The following pages link to Robert Cartwright (Q672056):
Displaying 11 items.
- Iterative belief revision in extended logic programming (Q672058) (← links)
- The logic of aliasing (Q1145497) (← links)
- Fully abstract semantics for observably sequential languages (Q1327401) (← links)
- Safe instantiation in Generic Java (Q2509339) (← links)
- (Q3681906) (← links)
- (Q3939200) (← links)
- (Q4016541) (← links)
- (Q4490731) (← links)
- What is a universal higher-order programming language? (Q4630303) (← links)
- (Q4817009) (← links)
- Recursive Programs as Definitions in First-Order Logic (Q5184385) (← links)
