This volume contains 37 invited research papers collected in memory
of Dieter R dding, who is known for his work on the classification
of recursive functions, on reduction classes, on the spectrum
problem and on the complexity of cardinality quantifiers in
predicate logic and in arithmetical hierarchy. He was one of the
first to pursue the interaction of logic and computer science. The
volume reflects the wide spectrum of Dieter R dding's scientific
interests.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!