Programmation And NotR. Voyer
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 |
| 000972 | H. Dubois [France] ; H. Kirchnei [France] | Rule Based Programming with constraints and strategies |
| 000C59 | J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse] | Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances |
| 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. |  |