|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithmic debugging generalized |
Insa, David |
2018 |
97 | C |
p. 85-104 |
artikel |
|
| 2 | A theoretical framework for cardinality-based feature models: The semantics and computational aspects |
Safilian, Aliakbar |
2018 |
97 | C |
p. 30-54 |
artikel |
|
| 3 | Convergence: Integrating termination and abort-freedom |
Diallo, Nafi |
2018 |
97 | C |
p. 1-29 |
artikel |
|
| 4 | Editorial Board |
2018 |
97 | C |
p. ii |
artikel |
||
| 5 | Embeddability into relational lattices is undecidable |
Santocanale, Luigi |
2018 |
97 | C |
p. 131-148 |
artikel |
|
| 6 | Multiparty session types, beyond duality |
Scalas, Alceste |
2018 |
97 | C |
p. 55-84 |
artikel |
|
| 7 | Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution |
Hensel, Jera |
2018 |
97 | C |
p. 105-130 |
artikel |
7 gevonden resultaten