by Salvati, Sylvain
Published in Journal of logic, language, and information (01.04.2010)

by Sylvain Salvati, Igor Walukiewicz
Published in Logical methods in computer science (01.01.2017)

by Kanazawa, Makoto, Salvati, Sylvain
Published in Language and Automata Theory and Applications

by Salvati, Sylvain, Walukiewicz, Igor
Published in Logical methods in computer science (11.06.2015)

by Kanazawa, Makoto, Salvati, Sylvain
Published in Formal Grammar

by Kanazawa, Makoto, Kobele, Gregory M., Michaelis, Jens, Salvati, Sylvain, Yoshinaka, Ryo
Published in Theory of computing systems (01.07.2014)

by Clément, Lionel, Kirman, Jérôme, Salvati, Sylvain
Published in Journal of Language Modelling (08.06.2015)

by Retoré, Christian, Salvati, Sylvain
Published in Journal of logic, language, and information (01.04.2010)

by Salvati, Sylvain
Published in Journal of computer and system sciences (01.11.2015)

by Salvati, Sylvain
Published in Journal of computer and system sciences (01.11.2015)

by Gebhardt, Kilian, Meunier, Frédéric, Salvati, Sylvain
Published in Journal of computer and system sciences (01.08.2022)

by Salvati, Sylvain
Published in Journal of computer and system sciences (2015)

by Salvati, Sylvain, Walukiewicz, Igor
Published in Information and computation (01.12.2014)

by SALVATI, SYLVAIN, WALUKIEWICZ, IGOR
Published in Mathematical structures in computer science (01.10.2016)

by Gebhardt, Kilian, Meunier, Frédéric, Salvati, Sylvain
Published in Journal of computer and system sciences (01.08.2022)

by Kobele, Gregory M., Salvati, Sylvain
Published in Information and computation (01.08.2015)

by Niehren, Joachim, Salvati, Sylvain, Azimov, Rustam
Published in Electronic proceedings in theoretical computer science (04.08.2022)

by Salvati, Sylvain, Walukiewicz, Igor
Published in Foundations of Software Science and Computation Structures

by Salvati, Sylvain
Published in Lecture notes in computer science (2006)

by Salvati, Sylvain, Walukiewicz, Igor
Published in Logical methods in computer science (2015)