|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A comment on the ‘basic security theorem’ of Bell and LaPadula |
McLean, John |
1985 |
20 | 2 |
p. 67-70 4 p. |
artikel |
|
| 2 | An infinite square-free co-CFL |
Main, Michael G. |
1985 |
20 | 2 |
p. 105-107 3 p. |
artikel |
|
| 3 | An optimal algorithm for the maximum alignment of terminals |
Widmayer, P. |
1985 |
20 | 2 |
p. 75-82 8 p. |
artikel |
|
| 4 | Codeterministic automata on infinite words |
Beauquier, D. |
1985 |
20 | 2 |
p. 95-98 4 p. |
artikel |
|
| 5 | Evaluating expressions with a queue |
Van de Snepscheut, Jan L.A. |
1985 |
20 | 2 |
p. 65-66 2 p. |
artikel |
|
| 6 | How to detect tampering of data |
Kak, Subhash C. |
1985 |
20 | 2 |
p. 109-110 2 p. |
artikel |
|
| 7 | More on looping vs. repeating in dynamic logic |
Harel, David |
1985 |
20 | 2 |
p. 87-90 4 p. |
artikel |
|
| 8 | On separation of the emptiness and equivalence problems for program schemes |
Auzins, A.J. |
1985 |
20 | 2 |
p. 91-93 3 p. |
artikel |
|
| 9 | On the correspondence between two classes of reduction systems |
Thatte, Satish R. |
1985 |
20 | 2 |
p. 83-85 3 p. |
artikel |
|
| 10 | The undecidability of self-embedding for term rewriting systems |
Plaisted, David A. |
1985 |
20 | 2 |
p. 61-64 4 p. |
artikel |
|
| 11 | The VLSI optimality of the aks sorting network |
Bilardi, G. |
1985 |
20 | 2 |
p. 55-59 5 p. |
artikel |
|
| 12 | Translation of Turner Combinators in O(n log n) space |
Noshita, Kohei |
1985 |
20 | 2 |
p. 71-74 4 p. |
artikel |
|
| 13 | Upper bounds on the size of LR(k) parsers |
Ukkonen, Esko |
1985 |
20 | 2 |
p. 99-103 5 p. |
artikel |
13 gevonden resultaten