Title: Machines, computations, and universality
Subjects: Logic programming, Congresses, Cellular automata, Computer logic, Computer science, Turing machines, Computer programming, Molecular computers