Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
005470 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
005832 | Frédéric Blanqui [France] | (HO)RPO Revisited |
007846 | Issam Chebbi | Aide à la preuve et à la validation en programmation par règles |
00A723 | Jean-Yves Marion | Light Multiset path ordering and Ptime - Two is better than one |
00AC84 | Jean-Yves Marion [France] | Light Multiset path ordering and Ptime - Two is better than one |
00B595 | Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh Verma | RPO constraint solving is in NP |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |