Calcul symbolique And NotLaura Grigori
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 |
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 |
000D02 | A. Napoli [France] ; J. Lieber [France] ; R. Curien [France] | Classification-based problem-solving in case-based reasoning |
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. |