activity
20162022
most citedSynthesis of Computable Regular Functions of Infinite Words

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

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.FL2020

On the Separability Problem of String Constraints

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave +1

We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, d…