This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi’an, China, in July 2019. Th

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homo

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has see

Several points of disagreement exist between different modelling traditions as to whether complex models are always better than simpler models, as to how to com

The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and