Barry S. Cooper
algorithms automata bioinformatics biology calculus cellular automata classical computability complexity theory computability computability theory computable analysis computational learning computational logic logic programming