Claude Kirchner And NotSémantique
List of bibliographic references
Number of relevant bibliographic references: 15.Ident. | Authors (with country if any) | Title |
---|---|---|
000170 | Guillaume Burel [France] ; Claude Kirchner [France] | Regaining cut admissibility in deduction modulo using abstract completion |
000363 | Frédéric Blanqui ; Claude Kirchner ; Colin Riba | On the confluence of λ-calculus with conditional rewriting |
000381 | Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
000386 | Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Expressing combinatory reduction systems derivations in the rewriting calculus |
000403 | Guillaume Burel [France] ; Claude Kirchner [France] | Completion Is an Instance of Abstract Canonical System Inference |
000411 | Nachum Dershowitz [Israël] ; Claude Kirchner [France] | Abstract canonical presentations |
000572 | Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: The ELAN experience outcomes |
000679 | Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori | Pure patterns Type systems |
000681 | Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France] | Proof search and proof check for equational and inductive theorems |
000779 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
000813 | Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus computation: The case of induction |
000827 | Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding logic: Proofs and models |
000877 | Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho cube |
000900 | Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching power |
000911 | Hubert Comon [France] ; Claude Kirchner [France] | Constraint solving on terms |
This area was generated with Dilib version V0.6.33. |