Preuve programme And NotZ. Qian
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 |
000A66 | D. Galmiche [France] ; D. Larchey-Wendling [France] | Structural sharing and efficient proof-search in propositional intuitionistic logic |
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 |
This area was generated with Dilib version V0.6.33. |