Author name cluster

Grzegorz Fabiański.

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

Highlights Conference 2019 Conference Abstract

Uniformization of MSO-definable relation on integers

Grzegorz Fabiański.

We consider the problem to decide, whether a given MSO-definable relation R of the bi-infinite words (words over integers), there exist a MSO-definable function F (a functional relation between bi-infinite words) which uniformize it (meaning that if x R y then also x R f(x)). We argue that this problem is decidable.

Details