|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
60 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alternation bounded auxiliary pushdown automata |
Ladner, Richard E. |
1984 |
2-3 |
p. 93-108 16 p. |
artikel |
||
| 2 | Amount of deciding and decisionary effort |
Good, I.J. |
1961 |
2-3 |
p. 271-281 11 p. |
artikel |
||
| 3 | A new type of computer for problems in propositional logic, with greatly reduced scanning procedures |
Cherry, Colin |
1961 |
2-3 |
p. 155-168 14 p. |
artikel |
||
| 4 | Announcement |
1961 |
2-3 |
p. 243-244 2 p. |
artikel |
|||
| 5 | A note on burst detecting sum codes |
Berger, Jay M. |
1961 |
2-3 |
p. 297-299 3 p. |
artikel |
||
| 6 | A note on realization of decision networks using summation elements |
Lewis II, P.M. |
1961 |
2-3 |
p. 282-290 9 p. |
artikel |
||
| 7 | A note on recognition of hand-printed characters |
Tuffill, H.W. |
1961 |
2-3 |
p. 197- 1 p. |
artikel |
||
| 8 | A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic turing machines |
Moriya, Etsuro |
1986 |
2-3 |
p. 179-185 7 p. |
artikel |
||
| 9 | A note on the formation of concept and of association by information-theoretical correlation analysis |
Watanabe, Satosi |
1961 |
2-3 |
p. 291-296 6 p. |
artikel |
||
| 10 | An upper and lower bound for clock synchronization |
Lundelius, Jennifer |
1984 |
2-3 |
p. 190-204 15 p. |
artikel |
||
| 11 | A remark on finite transducers |
Schützenberger, M.P. |
1961 |
2-3 |
p. 185-196 12 p. |
artikel |
||
| 12 | Author index for volume 70 |
1986 |
2-3 |
p. 241- 1 p. |
artikel |
|||
| 13 | Author index for volume 57 |
1983 |
2-3 |
p. 214- 1 p. |
artikel |
|||
| 14 | Author index for volume 65 |
1985 |
2-3 |
p. 216- 1 p. |
artikel |
|||
| 15 | Author index for volume 62 |
1984 |
2-3 |
p. 219- 1 p. |
artikel |
|||
| 16 | Comment on Dr. Herdan's letter |
Mandelbrot, Benoit |
1961 |
2-3 |
p. 241- 1 p. |
artikel |
||
| 17 | Complexity of the first-order theory of almost all finite structures |
Grandjean, Etienne |
1983 |
2-3 |
p. 180-204 25 p. |
artikel |
||
| 18 | Computing with rewrite systems |
Dershowitz, Nachum |
1985 |
2-3 |
p. 122-157 36 p. |
artikel |
||
| 19 | Connections between two theories of concurrency: Metric spaces and synchronization trees |
Golson, William G. |
1983 |
2-3 |
p. 102-124 23 p. |
artikel |
||
| 20 | Definability by constant-depth polynomial-size circuits |
Denenberg, Larry |
1986 |
2-3 |
p. 216-240 25 p. |
artikel |
||
| 21 | Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic) |
Kfoury, A.J. |
1985 |
2-3 |
p. 98-121 24 p. |
artikel |
||
| 22 | Editorial note |
1961 |
2-3 |
p. 309- 1 p. |
artikel |
|||
| 23 | Errata |
1961 |
2-3 |
p. 242- 1 p. |
artikel |
|||
| 24 | Every sequence is reducible to a random one |
Gács, Péter |
1986 |
2-3 |
p. 186-192 7 p. |
artikel |
||
| 25 | Fault tolerance and storage reduction in binary search trees |
Munro, J. Ian |
1984 |
2-3 |
p. 210-218 9 p. |
artikel |
||
| 26 | Final note on a class of skew distribution functions: Analysis and critique of a model due to H. A. Simon |
Mandelbrot, Benoit |
1961 |
2-3 |
p. 198-216 19 p. |
artikel |
||
| 27 | Functional behavior of nondeterministic and concurrent programs |
Main, Michael G. |
1984 |
2-3 |
p. 144-189 46 p. |
artikel |
||
| 28 | Inductive inference of approximations |
Royer, James S. |
1986 |
2-3 |
p. 156-178 23 p. |
artikel |
||
| 29 | Information Theory, Statistical Decision Functions, Random Processes. |
1961 |
2-3 |
p. 224-227 4 p. |
artikel |
|||
| 30 | Lectures on Communication System Theory |
1961 |
2-3 |
p. 311-312 2 p. |
artikel |
|||
| 31 | Logical relations and the typed λ-calculus |
Statman, R. |
1985 |
2-3 |
p. 85-97 13 p. |
artikel |
||
| 32 | Loops in combinator-based compilers |
Wand, Mitchell |
1983 |
2-3 |
p. 148-164 17 p. |
artikel |
||
| 33 | Measurement: Definitions and Theories |
1961 |
2-3 |
p. 228-231 4 p. |
artikel |
|||
| 34 | [No title] |
Kochen, Manfred |
1961 |
2-3 |
p. 231-233 3 p. |
artikel |
||
| 35 | [No title] |
Goldstine, Herman H. |
1961 |
2-3 |
p. 224- 1 p. |
artikel |
||
| 36 | [No title] |
Sherman, Seymour |
1961 |
2-3 |
p. 310-311 2 p. |
artikel |
||
| 37 | [No title] |
Sherman, Seymour M. |
1961 |
2-3 |
p. 310- 1 p. |
artikel |
||
| 38 | [No title] |
Mandelbrot, Benoit |
1961 |
2-3 |
p. 227-228 2 p. |
artikel |
||
| 39 | On similarity and duality of computation (I) |
Hong, Jia-Wei |
1984 |
2-3 |
p. 109-128 20 p. |
artikel |
||
| 40 | On the definition of a family of automata |
Schützenberger, M.P. |
1961 |
2-3 |
p. 245-270 26 p. |
artikel |
||
| 41 | On the spectra of universal relational sentences |
Friedman, Harvey |
1984 |
2-3 |
p. 205-209 5 p. |
artikel |
||
| 42 | On the strength of “sometimes” and “always” in program verification |
Csirmaz, L. |
1983 |
2-3 |
p. 165-179 15 p. |
artikel |
||
| 43 | On various versions of the defective coin problem |
Bellman, Richard |
1961 |
2-3 |
p. 118-131 14 p. |
artikel |
||
| 44 | Optimal decision trees and one-time-only branching programs for symmetric Boolean functions |
Wegener, Ingo |
1984 |
2-3 |
p. 129-143 15 p. |
artikel |
||
| 45 | Optimal orientations of cells in slicing floorplan designs |
Stockmeyer, Larry |
1983 |
2-3 |
p. 91-101 11 p. |
artikel |
||
| 46 | Post scriptum to “final note” |
Mandelbrot, Benoit |
1961 |
2-3 |
p. 300-304 5 p. |
artikel |
||
| 47 | Pre-analysis locking |
Lausen, Georg |
1986 |
2-3 |
p. 193-215 23 p. |
artikel |
||
| 48 | Probabilistic propositional temporal logics |
Hart, Sergiu |
1986 |
2-3 |
p. 97-155 59 p. |
artikel |
||
| 49 | Progress in operations research |
1961 |
2-3 |
p. 312- 1 p. |
artikel |
|||
| 50 | Reply to Dr. Mandelbrot's post scriptum |
Simon, Herbert A. |
1961 |
2-3 |
p. 305-308 4 p. |
artikel |
||
| 51 | Reply to “final note” by Benoit Mandelbrot |
Simon, Herbert A. |
1961 |
2-3 |
p. 217-223 7 p. |
artikel |
||
| 52 | Re: type-token mathematics |
Herdan, G. |
1961 |
2-3 |
p. 239-240 2 p. |
artikel |
||
| 53 | Sampling theorems and bases in a Hilbert space |
Beutler, Frederick J. |
1961 |
2-3 |
p. 97-117 21 p. |
artikel |
||
| 54 | Semantic confluence tests and completion methods |
Plaisted, David A. |
1985 |
2-3 |
p. 182-215 34 p. |
artikel |
||
| 55 | Some applications of a theorem of Shirshov to language theory |
Restivo, Antonio |
1983 |
2-3 |
p. 205-213 9 p. |
artikel |
||
| 56 | Some remarks on the capacity of compound channels in the semicontinuous case |
Kesten, Harry |
1961 |
2-3 |
p. 169-184 16 p. |
artikel |
||
| 57 | Sparse sets in NP-P: EXPTIME versus NEXPTIME |
Hartmanis, J. |
1985 |
2-3 |
p. 158-181 24 p. |
artikel |
||
| 58 | State-identification experiments in finite automata |
Gill, Arthur |
1961 |
2-3 |
p. 132-154 23 p. |
artikel |
||
| 59 | The non-sequential behaviour of Petri nets |
Goltz, U. |
1983 |
2-3 |
p. 125-147 23 p. |
artikel |
||
| 60 | Vie, Matière et Observation |
1961 |
2-3 |
p. 233-238 6 p. |
artikel |
60 gevonden resultaten