Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
000A36 | Isabelle Gnaedig ; Hélène Kirchner | Innermost sufficient completeness |
000D58 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
001041 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
001310 | Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
001575 | Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore | Induction for innermost and outermost ground termination |
This area was generated with Dilib version V0.6.33. |