Preuve programme And NotD. Larchey-Wendling
List of bibliographic references
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000304 | MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information |
| 000567 | Patrick Baillot [France] | Stratified coherence spaces: a denotational semantics for light linear logic |
| 000574 | Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Rewriting calculus with fixpoints: Untyped and first-order systems |
| 000A82 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Hol-λσ : An intentional first-order expression of higher-order logic |
| 000B02 | H. Kirchner [France] ; P. D. Mosses [États-Unis] | Algebraic specifications, higher-order types, and set-theoretic models |
| 000B09 | P. De Groote [France] | A dynamic programming approach to categorical deduction |
| 000C78 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France] | SPIKE-AC : A system for proofs by induction in associative-commutative theories |
| 000C94 | R. Curien [France] ; Z. Qian ; H. Shi | Efficient second-order matching |
| This area was generated with Dilib version V0.6.33. |  |