The following pages link to Simon Helsen (Q1854514):
Displayed 7 items.
- (Q818199) (redirect page) (← links)
- A numerical solution of the constrained energy problem (Q818200) (← links)
- Syntactic type soundness results for the region calculus (Q1854515) (← links)
- Bisimilarity for the region calculus (Q2386355) (← links)
- (Q4472537) (← links)
- Syntactic Type Soundness for the Region Calculus (Q4921505) (← links)
- Convergence of the Isometric Arnoldi Process (Q5317627) (← links)