Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000541 | Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
000543 | Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |