|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A synchronous π-calculus |
Amadio, Roberto M. |
2007 |
205 | 9 |
p. 1470-1490 21 p. |
artikel |
|
| 2 | Computing the edit distance of a regular language |
Konstantinidis, Stavros |
2007 |
205 | 9 |
p. 1307-1316 10 p. |
artikel |
|
| 3 | Dimensions of Copeland–Erdös sequences |
Gu, Xiaoyang |
2007 |
205 | 9 |
p. 1317-1333 17 p. |
artikel |
|
| 4 | Editorial Board (continued) |
2007 |
205 | 9 |
p. i- 1 p. |
artikel |
||
| 5 | Exponential lower bounds for the number of words of uniform length avoiding a pattern |
Bell, Jason P. |
2007 |
205 | 9 |
p. 1295-1306 12 p. |
artikel |
|
| 6 | Inside Front Cover: Editorial Board |
2007 |
205 | 9 |
p. IFC- 1 p. |
artikel |
||
| 7 | Instruction-level security analysis for information flow in stack-based assembly languages |
De Francesco, Nicoletta |
2007 |
205 | 9 |
p. 1334-1370 37 p. |
artikel |
|
| 8 | Intersection-types à la Church |
Liquori, Luigi |
2007 |
205 | 9 |
p. 1371-1386 16 p. |
artikel |
|
| 9 | Lower bound technique for length-reducing automata |
Jurdziński, Tomasz |
2007 |
205 | 9 |
p. 1387-1412 26 p. |
artikel |
|
| 10 | Mediating secure information flow policies |
Zhang, Guo-Qiang |
2007 |
205 | 9 |
p. 1413-1425 13 p. |
artikel |
|
| 11 | Priority and abstraction in process algebra |
Cleaveland, Rance |
2007 |
205 | 9 |
p. 1426-1458 33 p. |
artikel |
|
| 12 | The number of runs in a string |
Rytter, Wojciech |
2007 |
205 | 9 |
p. 1459-1469 11 p. |
artikel |
12 gevonden resultaten