Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models: