12 search results - page 3 / 3 » Undecidability Results for Bisimilarity on Prefix Rewrite Sy... |
169
click to vote
IANDC
2010
15 years 4 months ago
2010
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
175
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...