Partage And NotC. Scharff
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 |
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 |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |