Jean-Louis Lassez

发表

Joxan Jaffar, Jean-Louis Lassez, 1987, LP.

Ryan A. Rossi, Jean-Louis Lassez, Axel E. Bernal, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

Jean-Louis Lassez, J. Lassez, 1991, TACS.

Jean-Louis Lassez, Kenneth McAloon, K. McAloon, 1992, J. Symb. Comput..

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1986, Logic Programming: Functions, Relations, and Equations.

Michael J. Maher, Jean-Louis Lassez, Catherine Lassez, 1995, PODS '95.

Leo Joskowicz, Jean-Louis Lassez, Catherine Lassez, 1990, FSTTCS.

Jean-Louis Lassez, Kenneth McAloon, 1989, TAPSOFT, Vol.1.

Michael J. Maher, Jean-Louis Lassez, 1983, AAAI.

Jean-Louis Lassez, 1987 .

Jean-Louis Lassez, Kenneth McAloon, 1988, FGCS.

Michael J. Maher, Jean-Louis Lassez, J. Lassez, 1992, Journal of Automated Reasoning.

Srinivas Mukkamala, Jean-Louis Lassez, Tayfun Karadeniz, 2006, ICONIP.

Lee Naish, Kim Marriott, Jean-Louis Lassez, 1990, Annals of Mathematics and Artificial Intelligence.

Jean-Louis Lassez, 2004, International Journal of Computer & Information Sciences.

Jean-Louis Lassez, Gordon Plotkin, G. Plotkin, 1991 .

Jean-Louis Lassez, 1975, IEEE Trans. Inf. Theory.

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1986, ICLP.

Jean-Louis Lassez, V. L. Nguyen, J. Lassez, 1981, Theor. Comput. Sci..

Jean-Louis Lassez, Vijay Chandru, V. Chandru, 2003, Verification: Theory and Practice.

Jean-Louis Lassez, Kumar Jeev, 2004, MSV/AMCS.

Michael J. Maher, Jean-Louis Lassez, 1985, Theor. Comput. Sci..

John Shepherd, Jean-Louis Lassez, Catherine Lassez, 1981, J. Syst. Softw..

Jean-Louis Lassez, Kenneth McAloon, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1986, J. Log. Program..

Jean-Louis Lassez, 1975, Inf. Sci..

Jean-Louis Lassez, Dirk van der Knijff, 1979, COMPSAC.

Jean-Louis Lassez, J. Lassez, 1990, PODS '90.

Michael J. Maher, Kim Marriott, Jean-Louis Lassez, 1988, Foundations of Deductive Databases and Logic Programming..

Jean-Louis Lassez, Graeme S. Port, T. Y. Chen, 2009, New Generation Computing.

Leo Joskowicz, Jean-Louis Lassez, Catherine Lassez, 1991, Fundamenta Informaticae.

Michael J. Maher, Jean-Louis Lassez, J. Lassez, 1984, Theor. Comput. Sci..

Liz Sonenberg, Jean-Louis Lassez, V. L. Nguyen, 1982, Inf. Process. Lett..

Jean-Louis Lassez, Axel E. Bernal, Tayfun Karadeniz, 2003, IDA.

Jean-Louis Lassez, Kenneth McAloon, Tien Huynh, 1989, NACLP.

Joxan Jaffar, Jean-Louis Lassez, 1982, ECAI.

Michael J. Maher, Jean-Louis Lassez, Kim Marriott, 1988 .

Michael J. Maher, Kim Marriott, Jean-Louis Lassez, 1991, MFCS.

Jean-Louis Lassez, Catherine Lassez, Tien Huynh, 2005, Annals of Mathematics and Artificial Intelligence.

Ryan A. Rossi, Srinivas Mukkamala, Jean-Louis Lassez, 2008, 2008 IEEE International Joint Conference on Neural Networks (IEEE World Congress on Computational Intelligence).

Jean-Louis Lassez, Catherine Lassez, Tien Huynh, 1990, ALP.

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1987, Formal Description of Programming Concepts.

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1984, J. Log. Program..

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd, 1983, IJCAI.

Kim Marriott, Jean-Louis Lassez, K. Marriott, 1986, Journal of Automated Reasoning.

Joxan Jaffar, Jean-Louis Lassez, J. Jaffar, 1987, POPL '87.

Ryan A. Rossi, Jean-Louis Lassez, Kumar Jeev, 2008, IEA/AIE.

Jean-Louis Lassez, Dirk van der Knijff, 1979, Inf. Process. Lett..

Kim Marriott, Jean-Louis Lassez, 1986, FSTTCS.

Michael J. Maher, David A. Wolfram, Jean-Louis Lassez, 1984, ICLP.

Gert Smolka, Claude Kirchner, Hélène Kirchner, 2021 .

Ryan A. Rossi, Jean-Louis Lassez, John W. Stamey, 2007, SIGDOC '07.

Jean-Louis Lassez, 1972 .

Jean-Louis Lassez, J. Lassez, 1972 .

Jean-Louis Lassez, Niels Larsen, Mark D'Souza, 2002, Proceedings of the National Academy of Sciences of the United States of America.