10 relations: ARRA (computer), Bram Jan Loopstra, Dijkstra–Scholten algorithm, Edsger W. Dijkstra, Electrologica, Equational logic, Index of physics articles (C), List of Dutch inventions and discoveries, Scholten, Unifying Theories of Programming.
The ARRA (for "Automatische Relais Rekenmachine Amsterdam", Automatic Relay Calculator Amsterdam) was the first Dutch computer, and was built from relays for the Dutch Mathematical Centre (Dutch: Mathematisch Centrum), which later became the Centrum Wiskunde & Informatica (CWI).
Bram Jan Loopstra (1925 – 1979) was a Dutch computing pioneer who worked at the Mathematisch Centrum, Amsterdam and then at Electrologica with Adriaan van Wijngaarden, Carel S. Scholten and Gerrit Blaauw.
The Dijkstra–Scholten algorithm (named after Edsger W. Dijkstra and Carel S. Scholten) is an algorithm for detecting termination in a distributed system.
Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.
N.V. Electrologica was a pioneering Dutch computer manufacturer from 1956 to 1968, when it was taken over by Philips.
First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol.
The index of physics articles is split into multiple pages due to its size.
The Netherlands had a considerable part in the making of modern society.
Scholten is a surname of Dutch origin.
Unifying Theories of Programming (UTP) in computer science deals with program semantics.