Filter your results
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
Semantics for First-Order Affine Inductive Data Types via Slice CategoriesInternational Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
Conference papers
hal-03018418v1
|
||
|
Identification of Comparison Key Elements and Their Relationships for Cloud Service Selection8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.74-82, ⟨10.1007/978-3-030-44769-4_6⟩
Conference papers
hal-02981729v1
|