The following pages link to (Q4494383):
Displaying 6 items.
- Logic programs as compact denotations. (Q1426046) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- (Q3783620) (← links)
- (Q5004949) (← links)
- (Q5020658) (← links)
- Functions-as-constructors Higher-order Unification (Q5369491) (← links)