Вы здесь

Главная

Fages F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Using Modes to Ensure Subject Reduction for Typed Logic Progranms with Subtyping 2000 Smaus J. -G., Fages F., Deransart P. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.01.2001
СТ Analysis of Normal Logic Programs 1998 Fages F., Gori R. Lecture Notes in Computer Science 01.10.1998
СТ Concurrent Constraint Programming and Non-commutative Logic 1998 Ruet P., Fages F. Lecture Notes in Computer Science 19.06.1998
СТ A Hierarchy of Semantics for Normal Constraint Logic Programs 1996 Fages F., Gori R. Lecture Notes in Computer Science Algebraic and Logic Programming 05.11.1996
СТ A Reactive Constraint Logic Programming Scheme 1995 Fages F., Fowler J., Sola T. Logic Programming: Proc. of the Twelfth Intern. Conf. 06.05.1996
СТ Constructive Negation by Pruning and Optimization Higher-Order Predicates for CLP and CC Languages 1995 Fages F. Lecture Notes in Computer Science 19.04.1995
СТ Handling Preferences in Constraint Programming with Relational Optimization 1994 Fages F., Fowler J., Sola T. Lecture Notes in Computer Science 13.10.1994
СТ On the Semantics of Optimization Predicates in CLP Languages 1993 Fages F. Lecture Notes in Computer Science 20.01.1994
СТ Average Case Analysis of Unification Algorithms 1991 Albert L., Casas R., Fages F., Torrecillas A., Zimmermann P. Lecture Notes in Computer Science 30.08.1991
П Average case analysis of unification algorithms 1990 Albert L., Casas R., Fages F., Zimmermann P. INRIA 30.01.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods in Macro-Biology: Proc./1st International Conference, FMMB 2014, Noumea, New Caledonia, September 2014 2014 Lecture Notes in Bioinformatics
  1. Fages F.
  2. Piazza C.
 07.10.2014
СБ Recent Advances in Constraints: Revised Selected Papers/13th Annual ERCIM International Workshop, CSCLP 2008, Rome, Italy, June 2008 2009 Lecture Notes in Artificial Intelligence
  1. Oddi A.
  2. Fages F.
  3. Rossi F.
 02.03.2010
СБ Recent Advances in Constraints: Revised Selected Papers/12th Annual ERCIM Intl WS CSCLP 2007. Rocquencourt, France, June 2007 2008 Lecture Notes in Artificial Intelligence
  1. Fages F.
  2. Rossi F.
  3. Soliman S.
 14.04.2009
СБ Recent Advances in Constraints: Revised Selected and Invited Papers/11th Annual ERCIM Intl WS on Constraint Solving & Logic Programming, CSCLP 2006. Caparica, Portugal, June 2006 2007 Lecture Notes in Artificial Intelligence
  1. Azevedo F.
  2. Barahona P.
  3. Fages F.
  4. Rossi F.
 19.10.2007
СБ Recent Advances in Constraints: Revised Selected and Invited Papers/Joint ERCIM/CoLogNET International Workwshop, CSCLP 2005. Uppsala, Sweden, June 2005 2006 Lecture Notes in Artificial Intelligence
  1. Hnich B.
  2. Carlsson M.
  3. Fages F.
  4. Rossi F.
 31.08.2006
СБ Principles and Practice of Semantic Web Reasoning: Proc./Third International Workshop, PPSWR 2005. Dagstuhl Castle, Germany, September 2005 2005 Lecture Notes in Computer Science
  1. Fages F.
  2. Soliman S.
 18.10.2005
СБ Recent Advances in Constraints: Revised Selected and Invited Papers/Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004. Lausanne, Switzerland, June 2004 2005 Lecture Notes in Artificial Intelligence
  1. Faltings B.
  2. Petcu A.
  3. Fages F.
  4. Rossi F.
 16.04.2005
СБ Recent Advances in Constraints: Proc./Joint ERCIM/CologNET Intern. Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June-July 2003 2004 Lecture Notes in Artificial Intelligence
  1. Apt K. R.
  2. Fages F.
  3. Rossi F.
  4. Szeredi P.
 03.06.2004