|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Algorithmic debugging generalized |
Insa, David |
2018 |
97 | C |
p. 85-104 |
article |
|
| 2 | A theoretical framework for cardinality-based feature models: The semantics and computational aspects |
Safilian, Aliakbar |
2018 |
97 | C |
p. 30-54 |
article |
|
| 3 | Convergence: Integrating termination and abort-freedom |
Diallo, Nafi |
2018 |
97 | C |
p. 1-29 |
article |
|
| 4 | Editorial Board |
2018 |
97 | C |
p. ii |
article |
||
| 5 | Embeddability into relational lattices is undecidable |
Santocanale, Luigi |
2018 |
97 | C |
p. 131-148 |
article |
|
| 6 | Multiparty session types, beyond duality |
Scalas, Alceste |
2018 |
97 | C |
p. 55-84 |
article |
|
| 7 | Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution |
Hensel, Jera |
2018 |
97 | C |
p. 105-130 |
article |
7 results found