von
Preis unbekannt
M. Nielsen
Approximation Notation algebra algorithms automata complexity forcing grammar homomorphism logic programming programming language proof semantics term rewriting