activity
20082026
most citedThe Wadge order on the Scott domain is not a well-quasi-order

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2008

An omega-power of a context-free language which is Borel above Delta^0_omega

Jacques Duparc, Olivier Finkel

We use erasers-like basic operations on words to construct a set that is both Borel and above Delta^0_omega, built as a set V^ωwhere V is a language of finite words accepted by a p…