Christophe Raffalli

发表

Christophe Raffalli, Christophe Raffalli, 1993, CSL.

Christophe Raffalli, Rodolphe Lepigre, 2016, ArXiv.

Christophe Raffalli, Rodolphe Lepigre, 2018, LFMTP@FSCD.

René David, Christophe Raffalli, 2004, J. Appl. Log..

Christophe Raffalli, 2003, Ann. Pure Appl. Log..

Christophe Raffalli, 2004, Theor. Comput. Sci..

Christophe Raffalli, Pierre Hyvernat, 2008 .

Christophe Raffalli, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

Christophe Raffalli, 1998, Ann. Pure Appl. Log..

Christophe Raffalli, 2001, Theor. Comput. Sci..

Christophe Raffalli, Karim Nour, Karim Nour, 2003, Theor. Comput. Sci..

Christophe Raffalli, Rodolphe Lepigre, 2017 .

Christophe Raffalli, Muhammad Humayoun, 2010, FIT.

Christophe Raffalli, Rodolphe Lepigre, Rodolphe Lepigre, 2019, ACM Trans. Program. Lang. Syst..

René David, Christophe Raffalli, Guillaume Theyssier, 2009 .

René David, Christophe Raffalli, Guillaume Theyssier, 2009, Log. Methods Comput. Sci..

Christophe Raffalli, Frédéric Ruyer, 2008, Fundam. Informaticae.

Christophe Raffalli, Christophe Raffalli, 1994 .

Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, 2009 .

Christophe Raffalli, Guillaume Theyssier, Jakub Kozik, 2009 .

Christophe Raffalli, Muhammad Humayoun, 2010 .