Mikhail Moshkov

Introduction.- Computation Trees Over Predicate Structures. Local Approach.- Computation Trees Over Predicate Structures. Global Approach.- Rough Analysis of Computation Trees.- Algorithmic Problems for Computation Trees.- Programs Versus Finite Tree-Programs.