|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A decision procedure for string constraints with string/integer conversion and flat regular constraints |
Wu, Hao |
|
61 | 1 |
p. 23-52 |
article |
|
| 2 | Balancing m-ary search trees with compressions on the fringe |
Gao, Shuyang |
|
61 | 1 |
p. 53-66 |
article |
|
| 3 | Discovering workflow nets of concurrent iterative processes |
Tapia-Flores, Tonatiuh |
|
61 | 1 |
p. 1-21 |
article |
|
| 4 | Neighborhood mutual remainder: self-stabilizing distributed implementation and applications |
Dolev, Shlomi |
|
61 | 1 |
p. 83-100 |
article |
|
| 5 | n-PS-codes, 2-infix-outfix codes and some related classes of codes |
Liu, Haiyan |
|
61 | 1 |
p. 67-81 |
article |
5 results found