Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
007F45 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies |
008A91 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
009195 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies |
009638 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies - Extended version - |
009639 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for innermost and outermost ground termination |
This area was generated with Dilib version V0.6.33. |