Logic and games on automatic structures: playing with quantifiers and decompositions

Lukasz Kaiser. Logic and games on automatic structures: playing with quantifiers and decompositions. PhD thesis, RWTH Aachen University, 2011.

Abstract

Abstract is missing.