Logique mathématique And NotE. T. Bittar
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000732 | Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | A rewriting approach to satisfiability procedures |
| 000917 | A. Kacem [Tunisie] ; Abdel Belaïd [France] ; M. Ben Ahmed [Tunisie] | Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context |
| 000A83 | J.-Y. Marion [France] | From multiple sequent for additive linear logic to decision procedures for free lattices |
| 000B01 | P. De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 000B11 | G. Perrier [France] | A PSPACE-complete fragment of second-order linear logic |
| This area was generated with Dilib version V0.6.33. |  |