Programmation And NotH. Dubois
List of bibliographic references
Number of relevant bibliographic references: 8.Ident. | Authors (with country if any) | Title |
---|---|---|
000125 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
000395 | TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision procedures for term algebras with integer constraints |
000C59 | J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse] | Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances |
000C62 | J. Bouaud [France] ; R. Voyer [France] | Langages à objets et langages de règles : étude critique et propositions d'intégration |
000D20 | G. Kucherov [France] ; M. Rusinowitch | Undecidability of ground reducibility for word rewriting systems with variables |
000D23 | S. Ajila [France] | Software maintenance : an approach to impact analysis of objects change |
000D46 | D. Galmiche [France] ; H. Kirchner [France] | Les langages fonctionnels et logiques |
000D81 | Proceedings/2nd. International conference on rewriting techniques and applications, Bordeaux, France, May 25-27, 1987 |
This area was generated with Dilib version V0.6.33. |