Contrainte And NotLaurent Romary
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 |
000663 | Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France] | Unions of non-disjoint theories and combinations of satisfiability procedures |
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. |