The following pages link to Luke Simon (Q3392928):
Displayed 5 items.
- Optimizing Pointer Analysis Using Bisimilarity (Q3392929) (← links)
- Coinductive Logic Programming and Its Applications (Q3608645) (← links)
- Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language (Q5302879) (← links)
- Co-Logic Programming: Extending Logic Programming with Coinduction (Q5428832) (← links)
- Coinductive Logic Programming (Q5449611) (← links)