1 |
One-way definability of two-way word transducers
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-02121085 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14 (4), ⟨10.23638/LMCS-14(4:22)2018⟩ ; https://lmcs.episciences.org/5021 (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
|
|
3 |
Streaming Tree Automata and XPath ; Flux XML, Requêtes XPath et Automates
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00421911 ; Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English (2009)
|
|
BASE
|
|
Show details
|
|
|
|