R. Echahed
发表
Kamel Adi,
Rachid Echahed,
Didier Bert,
1996,
AMAST.
M. Hanus,
S. Antoy,
R. Echahed,
2000,
JACM.
Didier Bert,
R. Echahed,
2005
.
J. Janodet,
R. Echahed,
2007
.
Rachid Echahed,
R. Echahed,
2011
.
Rachid Echahed,
Didier Bert,
Bjarte M. Østvold,
1993,
WSA.
Rachid Echahed,
R. Echahed,
2018,
Mathematical Structures in Computer Science.
J. Janodet,
R. Echahed,
2007
.
Rachid Echahed,
Detlef Plump,
D. Plump,
2019,
Electronic Proceedings in Theoretical Computer Science.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2019,
J. Log. Algebraic Methods Program..
Rachid Echahed,
Jérémie Blanc,
R. Echahed,
2002,
PPDP '02.
Rachid Echahed,
Jérémie Blanc,
R. Echahed,
2002,
Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
Andreas Herzig,
Philippe Balbiani,
Rachid Echahed,
2010,
ICGT.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2007,
TERMGRAPH@ETAPS.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2014,
ICGT.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2020,
Theor. Comput. Sci..
Rachid Echahed,
Didier Bert,
Pascal Drabik,
1987,
STACS.
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2016,
Lecture Notes in Computer Science.
Rachid Echahed,
Aude Maignan,
A. Maignan,
2017,
LPAR.
Rachid Echahed,
R. Echahed,
1990,
Theor. Comput. Sci..
Gerd Finke,
Frédéric Prost,
Rachid Echahed,
2005,
PADL.
Martin Strecker,
Jon Haël Brenas,
Rachid Echahed,
2017,
SCSS.
A. Bouajjani,
R. Echahed,
P. Habermehl,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Ahmed Bouajjani,
Rachid Echahed,
Peter Habermehl,
1995,
POPL '95.
Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana,
1994,
CAV.
Rachid Echahed,
Wendelin Serwe,
R. Echahed,
1999
.
Rachid Echahed,
Michael Hanus,
Sergio Antoy,
2000,
JACM.
Arash Shaban-Nejad,
Martin Strecker,
Jon Haël Brenas,
2018,
IEEE Access.
Martin Strecker,
Rachid Echahed,
Mohamed Chaabani,
2013,
Description Logics.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2007,
RTA.
D. Duval,
F. Prost,
R. Echahed,
2022,
ArXiv.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
ArXiv.
Rachid Echahed,
Thierry Boy de la Tour,
R. Echahed,
2019,
ArXiv.
Rachid Echahed,
Thierry Boy de la Tour,
R. Echahed,
2018,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2012,
ICGT.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Andreas Herzig,
Philippe Balbiani,
Rachid Echahed,
2010,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2009,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2005,
ArXiv.
Annegret Habel,
Rachid Echahed,
Mohamed Mosbah,
2010
.
Frédéric Prost,
Rachid Echahed,
F. Prost,
2005,
PPDP.
Frédéric Prost,
Rachid Echahed,
F. Prost,
2005,
WITS '05.
R. Echahed,
F. Prost,
F. Prost,
2004
.
Martin Strecker,
Jon Haël Brenas,
Rachid Echahed,
2018,
ICGT.
Martin Strecker,
Jon Haël Brenas,
Rachid Echahed,
2018,
ArXiv.
Martin Strecker,
Jon Haël Brenas,
Rachid Echahed,
2016,
ICTAC.
Rachid Echahed,
Didier Bert,
Didier Bert,
1994,
COMPASS/ADT.
Rachid Echahed,
Didier Bert,
Didier Bert,
1986,
ESOP.
Joseph Sifakis,
Ahmed Bouajjani,
Rachid Echahed,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Rachid Echahed,
Wendelin Serwe,
R. Echahed,
2000,
Computational Logic.
Herbert Kuchen,
Rachid Echahed,
Wendelin Serwe,
1998
.
Salvador Lucas,
María Alpuente,
Santiago Escobar,
2002,
WFLP.
Rachid Echahed,
R. Echahed,
1992,
ALP.
Rachid Echahed,
R. Echahed,
1988,
CAAP.
Rachid Echahed,
Michael Hanus,
Sergio Antoy,
1997,
ICLP.
Michael Hanus,
Sergio Antoy,
Rachid Echahed,
1996
.
Dominique Duval,
Frédéric Prost,
Leila Ribeiro,
2014,
FASE.
Dominique Duval,
Frédéric Prost,
Leila Ribeiro,
2014,
ArXiv.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
PPDP.
Rachid Echahed,
Wendelin Serwe,
R. Echahed,
2001
.
Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana,
1994,
CONCUR.
Rachid Echahed,
Didier Bert,
Didier Bert,
1995,
ILPS.
Frédéric Prost,
Rachid Echahed,
Wendelin Serwe,
2003,
PPDP '03.