Contrainte And NotCesare Tinelli
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000028 | Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar] ; Dominique Herve [France] | Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches |
| 000168 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures |
| 000280 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Hierarchical combination of intruder theories |
| 000369 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
| 000395 | TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision procedures for term algebras with integer constraints |
| 000429 | Olivier Bonami [France] ; Gilles Boye [France] ; Jesse Tseng [France] | Sur la grammaire des consonnes latentes |
| 000757 | Frédéric Landragin [France] ; Susanne Salmon-Alt [France] ; Laurent Romary [France] | Ancrage référentiel en situation de dialogue |
| 000903 | Claire Gardent [France] ; Stefan Thater [Allemagne] | Generating with a grammar based on tree descriptions: A constraint-based approach |
| 000972 | H. Dubois [France] ; H. Kirchnei [France] | Rule Based Programming with constraints and strategies |
| 000B06 | H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France] | A methodological view of constraint solving |
| 000B75 | J. Toussaint [France] ; F. Simonot-Lion [France] | Vérification formelle de propriétés temporelles d'une application distribuée temps réel |
| 000B76 | L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
| This area was generated with Dilib version V0.6.33. |  |