Telecharger Cours

1 Introduction 2 Duplicator-Spoiler Games For Linear Orderings

In this exposition we will define Duplicator-Spoiler games for linear orderings and prove the connection to logical expressible for these games. We follow the ...



Download