Ple4Win

Theoretical background

The implementation of the calculation functionality of Ple4Win is based on a theoretical background. The examples below illustrate some aspects of this theoretical background, and give insights in the relation between theory and implementation in the program.