Calcul symbolique And NotA. Napoli
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000386 | Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Expressing combinatory reduction systems derivations in the rewriting calculus |
| 000498 | Yves A. Papegay [France] ; Jean-Pierre Merlet [France] ; David Daney [France] | Exact kinematics analysis of Car's suspension mechanisms using symbolic computation and interval analysis |
| 000632 | David Deharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-driven verification of array programs |
| 000849 | Laura Grigori [France] | Étude d'implémentation parallèle de la factorisation LU creuse |
| 000B52 | M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France] | Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning |
| 000B62 | C. Lynch [États-Unis] ; C. Scharff [France] | Basic Completion with E-cycle Simplification |
| 000C47 | L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France] | A linear-time algorithm for the generation of trees |
| 000C73 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
| 000D58 | E. Domenjoud [France] | AC unification through order-sorted AC1 unification |
| 000D59 | J. Rouyer [France] | Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm |
| This area was generated with Dilib version V0.6.33. |  |