Search in the Catalogues and Directories

Hits 1 – 3 of 3

1	One-way definability of two-way word transducers
	Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca...
	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
	Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan
	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
	Gauwin, Olivier. - : HAL CCSD, 2009
	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