Relation ordre And NotA. Napoli
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000006 | Jean-Charles Faugere [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France] | Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm |
| 000092 | Audrey Ledoux [France] ; Noël Richard [France] ; Anne-Sophie Capelle-Laize [France] | Limitations et comparaisons d'ordonnancement utilisant des distances couleur |
| 000124 | G. Bonfante [France] ; J.-Y. Marion [France] ; J.-Y. Moyen [France] | Quasi-interpretations a way to control resources |
| 000170 | Guillaume Burel [France] ; Claude Kirchner [France] | Regaining cut admissibility in deduction modulo using abstract completion |
| 000403 | Guillaume Burel [France] ; Claude Kirchner [France] | Completion Is an Instance of Abstract Canonical System Inference |
| 000462 | Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | Quasi-interpretations and small space bounds |
| 000468 | Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
| 000894 | Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | On lexicographic termination ordering with space bound certifications |
| 000925 | Jürgen Stuber [France] | A model-based completeness proof of extended narrowing and Resolution |
| This area was generated with Dilib version V0.6.33. |  |