Logics for word transductions with synthesis

Référence Proceedings - Symposium on Logic in Computer Science, page (295-304)
Publication Publié, 2018-07

Article révisé par les pairs

Finite-valued Streaming String Transducers
par Filiot, Emmanuel , Jecker, Ismaël Robin , Löding, Christof , Muscholl, Anca , Puppis, Gabriele , Winter, Sarah
Publication 2024-07-01
Hiems elegiaca:la place de l'hiver chez les élégiaques latins
par Dehon, Pierre-Jacques
Publication 2026-06-30
Unlocking the geography of Azobé timber (Lophira alata): revealing spatial genetic structure beyond species boundaries
par Rocha Venancio Meyer-Sand, Barbara , Boeschoten, Laura L.E. , Bouka, Gaël G.U.D. , Ciliane-Madikou, Jannici J.C.U. , de Groot, G Arjen , de Vries, Nathalie , Engone Obiang, Nestor Laurier , Esselink, Danny , Guieshon-Engongoro, Mesly , Hardy, Olivier J. , Jansen, Simon , Loumeto, Jean Joël , Mbika, Dieu Merci D.m.M.F. , Moundounga, Cynel Gwenael , Ndiade-Bourobou, Dyana , Ndangani, Rita R.M.D. , Smulders, Marinus J M , Tassiamba, Steve S.N. , Tchamba, Martin Ngankam M.T. , Toumba-Paka, Bijoux B.B.L. , Zanguim, Herman H.T. , Zemtsa, Pascaline P.T. , Zuidema, Pieter P.A.
Publication 2025-12
Passive Learning of Regular Data Languages in Polynomial Time and Data
par Balachander, Mrudula , Filiot, Emmanuel , Gentilini, Raffaella
Publication 2024-09-01
Finite-valued Streaming String Transducers
par Filiot, Emmanuel , Jecker, Ismaël Robin , Puppis, Gabriele , Löding, Christof , Muscholl, Anca , Winter, Sarah
Publication 2025-01-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.