Pointeur And NotDavid Pym
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000337 | G. Bonfante [France] ; R. Kahle [Portugal] ; J.-Y. Marion [France] ; I. Oitavem [Portugal] | Towards an implicit characterization of NCk |
000516 | Didier Galmiche [France] ; Daniel Mery [France] | Characterizing provability in BI's pointer logic through resource graphs |
This area was generated with Dilib version V0.6.33. |