The following pages link to Stein Krogdahl (Q1059389):
Displayed 12 items.
- Multiple inheritance in SIMULA-like languages (Q1059390) (← links)
- A select and insert sorting algorithm (Q1115197) (← links)
- On log concave sequences (Q1182977) (← links)
- An inequality on paths in a grid (Q1200004) (← links)
- The dependence graph for bases in matroids (Q1241754) (← links)
- Verifying a distributed list system: A case history (Q1355754) (← links)
- On verification of parallel message-passing processes (Q1849556) (← links)
- A dynamic storage allocation problem (Q2563013) (← links)
- (Q3731014) (← links)
- Verification of a class of link-level protocols (Q4174717) (← links)
- A Biography of Ole-Johan Dahl (Q5390271) (← links)
- A Bibliography of Ole-Johan Dahl (Q5390272) (← links)