Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
000980 | G. Kucherov [France] ; M. Rusinowitch [France] | Patterns in words versus patterns in trees : A brief survey and new results |
000A68 | P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis] | RPO constraint solving is in NP |
000B41 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France] | Observational proofs with critical contexts |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |