|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
26 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alternation and ω-type Turing acceptors |
Lindsay, Peter A. |
1986 |
43 | C |
p. 107-115 9 p. |
artikel |
|
| 2 | A simple proof of a time-space trade-off for sorting with linear comparisons |
Johnson, Donald B. |
1986 |
43 | C |
p. 345-350 6 p. |
artikel |
|
| 3 | A topological characterization of thinning |
Ronse, Christian |
1986 |
43 | C |
p. 31-41 11 p. |
artikel |
|
| 4 | Author index volume 43 (1986) |
1986 |
43 | C |
p. 351-352 2 p. |
artikel |
||
| 5 | Characterization of state-independent automata |
Grzymala-Busse, Jerzy W. |
1986 |
43 | C |
p. 1-10 10 p. |
artikel |
|
| 6 | Complete sets of unifiers and matchers in equational theories |
Fages, François |
1986 |
43 | C |
p. 189-200 12 p. |
artikel |
|
| 7 | Concurrent and maximally concurrent evolution of nonsequential systems |
Janicki, Ryszard |
1986 |
43 | C |
p. 213-238 26 p. |
artikel |
|
| 8 | Continuous semilattices |
Adámek, J. |
1986 |
43 | C |
p. 293-313 21 p. |
artikel |
|
| 9 | Decomposition of linear automata over residue rings into shift-registers |
Scheuing, Arnold |
1986 |
43 | C |
p. 11-30 20 p. |
artikel |
|
| 10 | Editorial Board |
1986 |
43 | C |
p. ii-iii nvt p. |
artikel |
||
| 11 | Efficient string matching with k mismatches |
Landau, Gad M. |
1986 |
43 | C |
p. 239-249 11 p. |
artikel |
|
| 12 | Infinite-word languages and continuous mappings |
Redziejowski, Roman R. |
1986 |
43 | C |
p. 59-79 21 p. |
artikel |
|
| 13 | More on the complexity of slice functions |
Wegener, Ingo |
1986 |
43 | C |
p. 201-211 11 p. |
artikel |
|
| 14 | On the construction of parallel computers from various bases of boolean functions |
Goldschlager, Leslie M. |
1986 |
43 | C |
p. 43-58 16 p. |
artikel |
|
| 15 | On the finite containment problem for Petri nets |
Clote, P. |
1986 |
43 | C |
p. 99-105 7 p. |
artikel |
|
| 16 | Partial evaluation and ω-completeness of algebraic specifications |
Heering, Jan |
1986 |
43 | C |
p. 149-161 13 p. |
artikel |
|
| 17 | Random generation of combinatorial structures from a uniform distribution |
Jerrum, Mark R. |
1986 |
43 | C |
p. 169-188 20 p. |
artikel |
|
| 18 | Relational algebraic semantics of deterministic and nondeterministic programs |
Berghammer, R. |
1986 |
43 | C |
p. 123-147 25 p. |
artikel |
|
| 19 | Scott induction and closure under ω-sups |
Pasztor, Ana |
1986 |
43 | C |
p. 251-263 13 p. |
artikel |
|
| 20 | Semantic analysis of inductive reasoning |
Orłowska, Ewa |
1986 |
43 | C |
p. 81-89 9 p. |
artikel |
|
| 21 | Specification and verification of decentralized daisy chain arbiters with ω-extended regular expressions |
Suzuki, I. |
1986 |
43 | C |
p. 277-291 15 p. |
artikel |
|
| 22 | Star-free sets of integers |
de Luca, Aldo |
1986 |
43 | C |
p. 265-275 11 p. |
artikel |
|
| 23 | Test sets for finite substitutions |
Albert, M.H. |
1986 |
43 | C |
p. 117-122 6 p. |
artikel |
|
| 24 | The complexity of colouring problems on dense graphs |
Edwards, Keith |
1986 |
43 | C |
p. 337-343 7 p. |
artikel |
|
| 25 | Une démonstration simple du théorème de Skolem-Mahler-Lech |
Hansel, G. |
1986 |
43 | C |
p. 91-98 8 p. |
artikel |
|
| 26 | Variétés d'automates descendants d'arbres infinis |
Saoudi, A. |
1986 |
43 | C |
p. 315-335 21 p. |
artikel |
26 gevonden resultaten