Pages that link to "Ralph-Johan Back"
Showing 21 items.
- Denotational semantics (links | edit)
- Guarded Command Language (links | edit)
- Back (disambiguation) (links | edit)
- Predicate transformer semantics (links | edit)
- Unbounded nondeterminism (links | edit)
- Power domains (links | edit)
- Refinement calculus (links | edit)
- Invariant-based programming (links | edit)
- Michael Butler (computer scientist) (links | edit)
- R. J. R. Back (redirect page) (links | edit)
- List of programming language researchers (links | edit)
- Kaisa Sere (links | edit)
- Structured derivations (links | edit)
- IFIP Working Group 2.3 (links | edit)
- Talk:Ralph-Johan Back (transclusion) (links | edit)
- User:Tony Sidaway/Living people/b00 (links | edit)
- User:Tony Sidaway/Living people/tranche 004 (links | edit)
- User:Tony Sidaway/Living people/temp (links | edit)
- User:JAAqqO/List of WikiProject Finland articles (links | edit)
- User:Tule-hog/All Computing articles (links | edit)
- Wikipedia:WikiProject Science/Members of the Academia Europaea list (links | edit)