Computation theory and logic

Descrição: This volume contains 37 invited research papers collected in memory of Dieter Rdding, who is known for his work on ... Veja mais