The following pages link to (Q3835042):
Displaying 6 items.
- On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data (Q687200) (← links)
- A transformational characterization of if-then-else (Q913480) (← links)
- Semantic models for total correctness and fairness (Q1208419) (← links)
- A note on guarded theories (Q1813969) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)