You are about to access our book library "Theory and Applications of Models of Computation: 13th Annual Conference, TAMC 2016, Xi'an, China, July 20-22, 2016, Proceedings full version" .