Relation ordre And NotCarlos Areces
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 |
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 |
000D02 | A. Napoli [France] ; J. Lieber [France] ; R. Curien [France] | Classification-based problem-solving in case-based reasoning |
This area was generated with Dilib version V0.6.33. |