Partage And NotJ. Malenfant
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000417 | Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
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 |
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. | ![]() |