Merkliste 
 1 Ergebnisse 
 
1

Error-detecting properties of languages:

Konstantinidis, Stavros ; O'Hearn, Amber
Theoretical Computer Science.  276 (2002)  1-2 - p. 355-375 , 2002