PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME); SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK); PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC); PREDICATE LOGIC (MATHEMATICAL LOGIC); PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS)