Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000227 | Keiichirou Kusakari [Japon] ; Yasuo Isogai [Japon] ; Masahiko Sakai [Japon] ; Frédéric Blanqui [France] | Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems |
| 000633 | Frédéric Blanqui [France] | A type-based termination criterion for dependently-typed higher-order rewrite systems |
| This area was generated with Dilib version V0.6.33. |  |