nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A cooley-tukey algorithm for the slant transform
|
Ahmed, N. |
|
1976 |
5 |
1-4 |
p. 331-338 |
artikel |
2 |
AEPL: An extensible programming language
|
Katzenelson, Jacob |
|
1975 |
5 |
1-4 |
p. 3-35 |
artikel |
3 |
A method for pogram analysis and Its applications to program-correctness problems
|
Huang, J. C. |
|
1976 |
5 |
1-4 |
p. 203-227 |
artikel |
4 |
A multilevel flow control statement
|
Franta, W. R. |
|
1976 |
5 |
1-4 |
p. 297-307 |
artikel |
5 |
A multiplexing theorem and generalisation of R-transform
|
Wagh, M. D. |
|
1975 |
5 |
1-4 |
p. 163-171 |
artikel |
6 |
An algorithm for tracing live variables based on a straightened program graph
|
Beatty, J. C. |
|
1975 |
5 |
1-4 |
p. 97-108 |
artikel |
7 |
A note on a family of acceptors for some families of developmental languages
|
Rozenberg, Gregorz |
|
1976 |
5 |
1-4 |
p. 261-266 |
artikel |
8 |
A practical chebyshev collocation method for differential equations
|
Boateng, G. K. |
|
1975 |
5 |
1-4 |
p. 59-79 |
artikel |
9 |
Book reviews
|
Wood, Derick |
|
1975 |
5 |
1-4 |
p. 157-160 |
artikel |
10 |
Book Reviews
|
Wood, Derick |
|
1976 |
5 |
1-4 |
p. 309-310 |
artikel |
11 |
Developmental systems with fragmentation
|
Rozenberg, G. |
|
1976 |
5 |
1-4 |
p. 177-191 |
artikel |
12 |
Dynamic programming solutions of mildly non-linear elliptic problems over irregular regions
|
Jain, P. C. |
|
1976 |
5 |
1-4 |
p. 231-239 |
artikel |
13 |
Editorial board
|
|
|
1975 |
5 |
1-4 |
p. 1 |
artikel |
14 |
Error estimation in the integration of ordinary differential equations
|
Usmani, R. A. |
|
1976 |
5 |
1-4 |
p. 241-256 |
artikel |
15 |
JL systems with non-fragmented axioms: The hierarchy
|
Ruohonen, Keijo |
|
1975 |
5 |
1-4 |
p. 143-156 |
artikel |
16 |
Necessary and sufficient conditions for a power language to be deterministic
|
Shyamasundar, R. K. |
|
1975 |
5 |
1-4 |
p. 133-142 |
artikel |
17 |
On artificial machine learning: some ideas in search of a theory
|
Davis, Morton |
|
1976 |
5 |
1-4 |
p. 315-329 |
artikel |
18 |
On efficiently computing the product of two binary relations
|
van Leeuwen, Jan |
|
1976 |
5 |
1-4 |
p. 193-201 |
artikel |
19 |
On the characterization of certain classes of developmental languages by automata
|
Von Solms, S. H. |
|
1975 |
5 |
1-4 |
p. 125-132 |
artikel |
20 |
On the Sethi-Ullman algorithm
|
Chen, Stephen |
|
1975 |
5 |
1-4 |
p. 37-55 |
artikel |
21 |
Parallel OL-languages
|
Siromoney, Rani |
|
1975 |
5 |
1-4 |
p. 109-123 |
artikel |
22 |
Partition-extrapolation methods for numerical quadratures
|
Squire, William |
|
1975 |
5 |
1-4 |
p. 81-91 |
artikel |
23 |
Some notes on ETOL-languages
|
Von Solms, S. H. |
|
1976 |
5 |
1-4 |
p. 285-296 |
artikel |
24 |
The automatic transformational analysis of english sentences: An implementation
|
Hobbs, Jerry R. |
|
1976 |
5 |
1-4 |
p. 267-283 |
artikel |