Filtrer vos résultats
- 4
- 3
- 1
- 4
- 2
- 1
- 1
- 4
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
4 résultats
|
|
triés par
|
|
Kleene Algebras and Semimodules for Energy ProblemsATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis, Oct 2013, Hanoi, Vietnam. pp.102-117, ⟨10.1007/978-3-319-02444-8_9⟩
Communication dans un congrès
hal-01087913v1
|
||
|
Continuous Kleene ω-Algebras for Energy ProblemsProceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59
Communication dans un congrès
hal-01237653v1
|
||
|
Continuous Kleene ω-Algebras2014
Pré-publication, Document de travail
hal-01100104v1
|
||
|
Continuous Kleene ω-AlgebrasDevelopments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. pp.240-251
Communication dans un congrès
hal-01237648v1
|