contrainte quantifiée < contraintes < contraintes d'attente maximale

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by contraintes

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
006655 (2004-05)	Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France]	A Rule Language for Interaction
006E56 (2004)	Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Jan Maluszynski ; Benjamin Wack [France]	Types for Web Rule Languages: a preliminary study
007456 (2003)	Didier Galmiche [France] ; Jean-Marc Notin [France]	Connection-based proof construction in Non-Commutative Logic
007B81 (2003)	Germain Faure [France]	Calcul de réécriture explicite
007D53 (2003)	Hala Skaf-Molli [France] ; Pascal Molli [France] ; Gérald Oster [France]	Semantic Consistency for Collaborative Systems
007E94 (2003)	Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France]	A Rule Language for Interaction
007F93 (2002-07)	Claire Gardent [France]	Generating minimal definite descriptions
007F99 (2002-07)	Marilisa Amoia ; Claire Gardent [France] ; Stefan Thater	Using set constraints to generate distinguishing descriptions
008983 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
008A35 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Using hybrid concurrent constraint programming to model dynamic biological systems
008A36 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Using hybrid concurrent constraint programming to model dynamic biological systems
008A72 (2002)	Ernst Althaus ; Alexander Bockmayr [France] ; Matthias Elf ; Thomas Kasper ; Michael Jünger ; Kurt Mehlhorn	SCIL - Symbolic Constraints in Integer Linear Programming
009493 (2001)	Arnaud Courtois [France]	Modélisation de systèmes biologiques en programmation par contraintes
009569 (2001)	Alexander Bockmayr [France] ; Volker Weispfenning	Solving numerical constraints
009710 (2001)	Jürgen Stuber [France]	A Model-based Completeness Proof of Extended Narrowing And Resolution
00A046 (2000)	Jianyi Zhou [France] ; Alexander Bockmayr [France] ; Jianyang Zhou [France]	Préétude pour la planification de transport de Gaz Est Distribution
00A323 (1999-10)	Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas]	Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
00A470 (1999)	Hala Skaf [France] ; François Charoy [France] ; Claude Godart [France]	Maintaining Shared Workspaces Consistency during Software Development
00A482 (1999)	Claude Kirchner [France] ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud	A Methodological View of Constraint Solving
00AF05 (1998)	Gérôme Canals [France] ; Claude Godart [France] ; François Charoy [France] ; Pascal Molli [France] ; Hala Skaf [France]	COO Approach to Support Cooperation in Software Developments
00B466 (1998)	Christian Ah-Soon [France] ; Philippe Dosch	Une interface homme-machine pour l'analyse de plans architecturaux

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i -k "contraintes" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "contraintes" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdFr.i
   |clé=    contraintes
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022