P. De Groote And NotPhonologie
List of bibliographic references
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000990 | P. De Groote [France] | Linear higher-order matching is NP-complete |
| 000A63 | P. De Groote [France] | The non-associative Lambek calculus with product in polynomial time |
| 000A69 | P. De Groote [France] | On the strong normalisation of natural deduction with permutation-conversions |
| 000B01 | P. De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 000B09 | P. De Groote [France] | A dynamic programming approach to categorical deduction |
| 000B68 | P. De Groote [France] ; G. Perrier [France] | A note on Kobayashi's and Yonezawa's "asynchronous communication model based on linear logic" |
| 000C44 | P. De Groote [France] | An algebraic correctness criterion for intuitionistic proof-nets |
| 000C49 | D. Bechet [France] ; P. De Groote [France] ; C. Retore [France] | A complete axiomatisation for the inclusion of series-parallel partial orders |
| This area was generated with Dilib version V0.6.33. |  |