Partage And NotCesare Tinelli
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000690 | Christophe Ringeissen [France] | Matching in a class of combined non-disjoint theories |
000734 | Karim Baïna [France] ; Samir Tata [France] ; Khalid Benali [France] | A model for process service interaction |
000C69 | J. Malenfant [Canada] | Abstraction et encapsulation en programmation par prototypes |
000C84 | C. Lynch [France] ; P. Strogova [France] | PATCH graphs : An efficient data structure for complementation of finitely presented groups |
000C88 | Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
000C92 | C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France] | Fine-grained concurrent completion |
This area was generated with Dilib version V0.6.33. |