Search in the Catalogues and Directories

Hits 1 – 2 of 2

1	Definability and synthesis of transductions ; Définissabilité et synthèse de transductions
	Lhote, Nathan. - : HAL CCSD, 2018
	In: https://tel.archives-ouvertes.fr/tel-01960958 ; Other [cs.OH]. Université de Bordeaux; Université libre de Bruxelles (1970-.), 2018. English. ⟨NNT : 2018BORD0185⟩ (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