Filter your results
- 3
- 1
- 3
- 3
- 3
- 3
- 2
- 1
- 7
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 results
|
|
|
sorted by
|
|
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers
hal-01760641v1
|
||
|
|
Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.151-164, ⟨10.1007/978-3-319-58631-1_12⟩
Conference papers
hal-01656352v1
|
||
|
|
Understanding Gesture Articulations Variability16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.293-314, ⟨10.1007/978-3-319-67684-5_18⟩
Conference papers
hal-01678464v1
|