Unification And NotG. Dowek
List of bibliographic references
Number of relevant bibliographic references: 16.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000343 | Mathieu Turuani [France] | The CL-atse protocol analyser |
| 000449 | Clara Bertolissi [France] | The graph rewriting calculus : Confluence and expressiveness |
| 000664 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo ACUI plus homomorphisms/distributivity |
| 000690 | Christophe Ringeissen [France] | Matching in a class of combined non-disjoint theories |
| 000727 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | ACID-unification is NEXPTIME-decidable |
| 000911 | Hubert Comon [France] ; Claude Kirchner [France] | Constraint solving on terms |
| 000959 | Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Unification algorithms cannot be combined in polynomial time |
| 000999 | C. Ringeissen [France] ; E. Monfroy [Pays-Bas] | Generating propagation rules for finite domains : A mixed approach |
| 000B06 | H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France] | A methodological view of constraint solving |
| 000C12 | C. Ringeissen [France] | Prototyping combination of unification algorithms with the ELAN rule-based programming language |
| 000C19 | M. Hermann [France] ; P. G. Kolaitis [États-Unis] | On the complexity of unification and disunification in commutative idempotent semigroups |
| 000C74 | M. Hermann [France] ; P. G. Kolaitis [États-Unis] | Unification algorithms cannot be combined in polynomial time |
| 000D04 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowtich [France] | Automated verification by induction with associative-commutative operators |
| 000D58 | E. Domenjoud [France] | AC unification through order-sorted AC1 unification |
| 000D66 | N. Doggaz ; C. Kirchner | Completion for unification |
| 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. |  |