1 citations · 2 across the 11 of their papers we have counts for
1 paper · 1 filter
Olivier Finkel
We give in this paper an example of infinitary rational relation, accepted by a 2-tape Büchi automaton, which is Pi^0_3-complete in the Borel hierarchy. Moreover the example of inf…