par Filiot, Emmanuel 
;Krishna, Shankara Narayanan;Trivedi, Ashutosh
Référence Leibniz international proceedings in informatics, 29, page (147-159)
Publication Publié, 2014-12
;Krishna, Shankara Narayanan;Trivedi, AshutoshRéférence Leibniz international proceedings in informatics, 29, page (147-159)
Publication Publié, 2014-12
Article révisé par les pairs
| Titre: |
|
| Auteur: | Filiot, Emmanuel; Krishna, Shankara Narayanan; Trivedi, Ashutosh |
| Informations sur la publication: | Leibniz international proceedings in informatics, 29, page (147-159) |
| Statut de publication: | Publié, 2014-12 |
| Sujet CREF: | Informatique générale |
| Mots-clés: | First-order logic |
| Streaming string transducers | |
| Note générale: | SCOPUS: cp.p |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1868-8969 |
| info:doi/10.4230/LIPIcs.FSTTCS.2014.147 | |
| info:scp/84921505467 |
