|
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 | Abstract conjunctive partial deduction for the analysis and compilation of coroutines |
Nys, Vincent |
2016 |
29 | 1 |
p. 125-153 |
artikel |
|
| 2 | Constraint logic programming with a relational machine |
Gallego Arias, Emilio Jesús |
2016 |
29 | 1 |
p. 97-124 |
artikel |
|
| 3 | Editorial |
Proietti, Maurizio |
2016 |
29 | 1 |
p. 1-2 |
artikel |
|
| 4 | Maximal incompleteness as obfuscation potency |
Giacobazzi, Roberto |
2016 |
29 | 1 |
p. 3-31 |
artikel |
|
| 5 | On proving confluence modulo equivalence for Constraint Handling Rules |
Christiansen, Henning |
2016 |
29 | 1 |
p. 57-95 |
artikel |
|
| 6 | Partial evaluation of string obfuscations for Java malware detection |
Chawdhary, Aziem |
2016 |
29 | 1 |
p. 33-55 |
artikel |
|
| 7 | Proving completeness of logic programs with the cut |
Drabent, Włodzimierz |
2016 |
29 | 1 |
p. 155-172 |
artikel |
7 gevonden resultaten