|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A characterization of time complexity by simple loop programs |
Kasai, Takumi |
1980 |
20 | 1 |
p. 1-17 17 p. |
artikel |
|
| 2 | A faster algorithm computing string edit distances |
Masek, William J. |
1980 |
20 | 1 |
p. 18-31 14 p. |
artikel |
|
| 3 | A proof system for the first-order relational calculus |
Hennessy, Matthew C.B. |
1980 |
20 | 1 |
p. 96-110 15 p. |
artikel |
|
| 4 | Languages of R -trivial monoids |
Brzozowski, J.A. |
1980 |
20 | 1 |
p. 32-49 18 p. |
artikel |
|
| 5 | One-way weak-stack-counter automata |
Miyano, Satoru |
1980 |
20 | 1 |
p. 59-76 18 p. |
artikel |
|
| 6 | On finding minimal length superstrings |
Gallant, John |
1980 |
20 | 1 |
p. 50-58 9 p. |
artikel |
|
| 7 | On the complexity of computing bilinear forms with {0, 1} constants |
Gonzalez, Teofilo |
1980 |
20 | 1 |
p. 77-95 19 p. |
artikel |
|
| 8 | Recognition of topological equivalence of patterns by array automata |
Dietz, Paul |
1980 |
20 | 1 |
p. 111-116 6 p. |
artikel |
8 gevonden resultaten