Règle inférence And NotC. Scharff
List of bibliographic references
Number of relevant bibliographic references: 10.Ident. | Authors (with country if any) | Title |
---|---|---|
000170 | Guillaume Burel [France] ; Claude Kirchner [France] | Regaining cut admissibility in deduction modulo using abstract completion |
000431 | Florence Le Ber [France] ; Amedeo Napoli [France] | Relations, structures et objets : quelques variations |
000A12 | R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
000A19 | A. Bockmayr [France] ; F. Eisenbrand [Allemagne] | Combining logic and optimization in cutting plane theory |
000B06 | H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France] | A methodological view of constraint solving |
000C73 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
000C84 | C. Lynch [France] ; P. Strogova [France] | PATCH graphs : An efficient data structure for complementation of finitely presented groups |
000D04 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowtich [France] | Automated verification by induction with associative-commutative operators |
000D42 | D. Galmiche [France] ; G. Perrier | On proof normalization in linear logic |
000D62 | M. Rusinowitch [France] | Theorem-proving with resolution and superposition |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |