20 citations · 40 across the 6 of their papers we have counts for
1 paper · 1 filter
Graeme Gange, Jorge A. Navas, Peter Schachte +2
Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present an effective semi-decision proc…