no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A decidability theorem for a class of vector-addition systems
|
Crespi-Reghizzi, S. |
|
1975 |
3 |
3 |
p. 78-80 3 p. |
article |
2 |
A simple FORTRAN support for computer-assisted instruction
|
Bono, Ivan Dal |
|
1975 |
3 |
3 |
p. 88-90 3 p. |
article |
3 |
A synchronization anomaly
|
Lipton, Richard J. |
|
1975 |
3 |
3 |
p. 65-66 2 p. |
article |
4 |
Bounds for 3-matroid intersection problems
|
Camerini, P.M. |
|
1975 |
3 |
3 |
p. 81-83 3 p. |
article |
5 |
Evading the drift in floating-point addition
|
Reiser, John F. |
|
1975 |
3 |
3 |
p. 84-87 4 p. |
article |
6 |
On the cardinality of some lattices
|
Hosono, Chiharu |
|
1975 |
3 |
3 |
p. 67-68 2 p. |
article |
7 |
On the minimization of control memories
|
Dasgupta, Subrata |
|
1975 |
3 |
3 |
p. 71-74 4 p. |
article |
8 |
On the vector representation of the reachability in planar directed graphs
|
Kameda, T. |
|
1975 |
3 |
3 |
p. 75-77 3 p. |
article |
9 |
On TOL languages over terminals
|
Von Solms, S.H. |
|
1975 |
3 |
3 |
p. 69-70 2 p. |
article |
10 |
Program schemata with polynomial bounded counters
|
Weihrauch, Klaus |
|
1975 |
3 |
3 |
p. 91-96 6 p. |
article |