Logical Approaches to Computational Barriers: Second Conference on Computability
125,35 €
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. - From Constructibility and Absoluteness to Computability and Domain Independence. - Datatype-Generic Reasoning. - The Logical Strength of the Uniform Continuity Theorem.
Jetzt bei Ebay: