Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 résultat
|
|
triés par
|
|
Deciding whether the ordering is necessary in a Presburger formulaDiscrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 1 (1), pp.20-37. ⟨10.46298/dmtcs.510⟩
Article dans une revue
hal-00990437v1
|