2013-01-01T00:00:00Z

RAIRO - Theoretical Informatics and Applications, Volume 47 Issue 01<br /><br /><br /><table border='0'><tr><td>The journal publishes original research papers of high scientific level in the area of theoretical computer science and its applications. Theoretical computer science is understood in its broadest sense and comprises in particular the following areas: automata and formal languages, game theory, rewriting systems, design and analysis of algorithms, complexity theory, quantum computation, concurrent, distributed, parallel computations, verification of programs, amp;ldquo;logicamp;rdquo; and compilers, computational geometry and graphics on computers, cryptography, combinatorics on words. This list is not supposed to be exhaustive and the editorial board will promote new fields of research that will be worked out in the future. Marketed and distributed on behalf of EDP Sciences </td><td><a href='http://journals.cambridge.org/jid_ITA'><img src='http://journals.cambridge.org/cover_images/ITA/ITA.jpg' align='right' border='1' alt='RAIRO - Theoretical Informatics and Applications'/></a></td></tr></table><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayIssue%3Fjid%3DITA%26volumeId%3D47%26issueId%3D01%26seriesId%3D0&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25' /></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayIssue%3Fjid%3DITA%26volumeId%3D47%26issueId%3D01%26seriesId%3D0&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25' /></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayIssue%3Fjid%3DITA%26volumeId%3D47%26issueId%3D01%26seriesId%3D0&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25' /></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayIssue%3Fjid%3DITA%26volumeId%3D47%26issueId%3D01%26seriesId%3D0&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25' /></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayIssue%3Fjid%3DITA%26volumeId%3D47%26issueId%3D01%26seriesId%3D0' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25' /></a>

2013-01-01T00:00:00Z

Editorial <br />Ralph Matthes, Tarmo Uustalu, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 1-2<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851938'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851938&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851938&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851938&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851938&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851938' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>

Research Articles <br />Loredana Afanasiev, Balder ten Cate, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 3-23<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851940'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851940&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851940&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851940&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851940&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851940' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>

Research Articles <br />Lionel Vaux, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 111-132<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851951'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851951&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851951&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851951&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851951&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851951' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>

Research Articles <br />Omer Landry Nguena Timo, Pierre-Alain Reynier, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 69-96<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851945'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851945&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851945&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851945&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851945&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851945' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>

Research Articles <br />Paweł Parys, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 97-109<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851948'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851948&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851948&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851948&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851948&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851948' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>

Research Articles <br />Pierre Clairambault, <br /><a href='http://journals.cambridge.org/jid_ITA'>RAIRO - Theoretical Informatics and Applications</a>, <a href='http://journals.cambridge.org/action/displayIssue?jid=ITA&volumeId=47&issueId=01&seriesId=0'>Volume 47 Issue 01</a>, pp 25-68<br /><br /><a href='http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8851943'>Abstract</a><br/><a href='http://api.addthis.com/oexchange/0.8/forward/facebook/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851943&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/facebook.png' border='0' alt='Facebook' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/twitter/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851943&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/twitter.png' border='0' alt='Twitter' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/mendeley/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851943&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/mendeley.png' border='0' alt='Mendeley' width='25' height='25'/></a><a href='http://api.addthis.com/oexchange/0.8/forward/email/offer?pco=tbx32nj-1.0&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851943&pubid=xa-502df628072bfd96' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/email.png' border='0' alt='Email' width='25' height='25'/></a><a href='http://www.addthis.com/bookmark.php?source=tbx32nj-1.0&=250&pubid=xa-502df628072bfd96&url=http%3A%2F%2Fjournals.cambridge.org%2Faction%2FdisplayAbstract%3FfromPage%3Donline%26aid%3D8851943' target='_blank' ><img src='http://cache.addthiscdn.com/icons/v1/thumbs/32x32/more.png' border='0' alt='More...' width='25' height='25'/></a>