by SPOTO, Fausto, MESNARD, Fred, PAYET, Etienne
Published in ACM transactions on programming languages and systems (01.03.2010)

by Payet, Etienne
Published in Journal of automated reasoning (01.03.2024)

by Payet, Étienne, Spoto, Fausto
Published in Information and software technology (01.11.2012)

by Spoto, Fausto, Payet, Étienne
Published in Higher-Order and Symbolic Computation (01.03.2010)

by Mesnard, Fred, Payet, Étienne, Vidal, Germán
Published in Fundamenta informaticae (01.01.2020)

by PAYET, Etienne
Published in Theoretical computer science (28.08.2008)

by MESNARD, FRED, PAYET, ÉTIENNE, VIDAL, GERMÁN
Published in Theory and practice of logic programming (01.09.2020)

by Payet, Étienne
Published in Logic-Based Program Synthesis and Transformation (2019)

by Mesnard, Fred, Payet, Étienne
Published in Information processing letters (01.11.2015)

by Payet, Étienne
Year of Publication 21.07.2023

by MESNARD, FRED, PAYET, ÉTIENNE, VIDAL, GERMÁN
Published in Theory and practice of logic programming (01.07.2015)

by Payet, Étienne, Pearce, David J., Spoto, Fausto
Published in NASA Formal Methods (2022)

by Payet, Étienne, Spoto, Fausto
Published in Automated Reasoning (2018)

by Mesnard, Fred, Payet, Étienne, Vidal, Germán
Published in Logic-Based Program Synthesis and Transformation (2017)

by Payet, Étienne
Published in Logic-Based Program Synthesis and Transformation (2007)

by PAYET, ÉTIENNE, MESNARD, FRED
Published in Theory and practice of logic programming (01.03.2009)

by Payet, Étienne
Published in arXiv.org (21.07.2023)

by Maurica, Fonenantsoa, Mesnard, Frédéric, Payet, Étienne
Published in Static Analysis (2016)

by Payet, Etienne
Published in Fundamenta informaticae (01.11.2000)

by Yamada, Akihisa, Kaminski, Benjamin Lucien, Hofbauer, Dieter, Mesnard, Fred, Payet, Étienne
Year of Publication 15.08.2023