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 |