The following pages link to (Q4178463):
Displayed 5 items.
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- Knowledge and reasoning in program synthesis (Q1216171) (← links)
- A family of rules for recursion removal (Q1233310) (← links)
- A partial evaluator, and its use as a programming tool (Q1233314) (← links)
- On some classes of interpretations (Q1251892) (← links)