Fairouz Kamareddine
发表
Mauricio Ayala-Rincón,
Daniel Lima Ventura,
Fairouz Kamareddine,
2008,
CiE.
Rp Rob Nederpelt,
Fairouz Kamareddine,
F. Kamareddine,
1994
.
Fairouz Kamareddine,
1992
.
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
2009,
LSFA.
Fairouz Kamareddine,
Hua Zhao,
2018,
2018 International Conference on Computational Science and Computational Intelligence (CSCI).
Alejandro Ríos,
Fairouz Kamareddine,
Alejandro Ríos,
1995,
PLILP.
Fairouz Kamareddine,
2004,
J. Appl. Log..
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
2000,
PPDP '00.
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
François Monin,
2002,
Electron. Notes Theor. Comput. Sci..
Rob Nederpelt,
Rp Rob Nederpelt,
Fairouz Kamareddine,
1992
.
Fairouz Kamareddine,
J. B. Wells,
Ciar'an Dunne,
2020,
CICM.
Herman Geuvers,
Fairouz Kamareddine,
2003,
Electron. Notes Theor. Comput. Sci..
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
Flávio L. C. de Moura,
2011,
LSFA.
Fairouz Kamareddine,
Hua Zhao,
2019,
MLDM.
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
François Monin,
2003,
Rev. Colomb. de Computación.
Fairouz Kamareddine,
2004,
Electron. Notes Theor. Comput. Sci..
Imran Sarwar Bajwa,
Pamini Thangarajah,
Fairouz Kamareddine,
2019,
J. Univers. Comput. Sci..
Roel Bloo,
Fairouz Kamareddine,
Roel Bloo,
2005,
J. Log. Algebraic Methods Program..
Fairouz Kamareddine,
2001,
Log. J. IGPL.
Mauricio Ayala-Rincón,
Fairouz Kamareddine,
Flávio L. C. de Moura,
2002,
WoLLIC.
Fairouz Kamareddine,
F. Kamareddine,
1992
.
Gilles Barthe,
Alejandro Ríos,
Fairouz Kamareddine,
1997,
ALP/HOA.
Herman Geuvers,
Erik Poll,
Simon Peyton-Jones,
1996
.
A reduction relation for which postponement of K-contractions, Conservation and Preservation of Stro
Fairouz Kamareddine,
Fairouz Kamareddine,
1996
.