1 |
Visibly pushdown transducers
|
|
|
|
In: ISSN: 0022-0000 ; EISSN: 1090-2724 ; Journal of Computer and System Sciences ; https://hal.archives-ouvertes.fr/hal-02093318 ; Journal of Computer and System Sciences, Elsevier, 2018, 97, pp.147-181. ⟨10.1016/j.jcss.2018.05.002⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
First-order definability of rational transductions: An algebraic approach
|
|
|
|
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; https://hal.archives-ouvertes.fr/hal-01308509 ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.387--396, ⟨10.1145/2933575.2934520⟩ ; http://lics.rwth-aachen.de/lics16/ (2016)
|
|
BASE
|
|
Show details
|
|
|
|