|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A simple deduction method for modal logic |
Fariñas del Cerro, Luis |
1982 |
14 | 2 |
p. 49-51 3 p. |
artikel |
|
| 2 | A simple transfer lemma for algebraic specifications |
Bergstra, J.A. |
1982 |
14 | 2 |
p. 80-85 6 p. |
artikel |
|
| 3 | Context-free grammars as a tool for describing polynomial-time subclasses of hard problems |
Slisenko, A.O. |
1982 |
14 | 2 |
p. 52-56 5 p. |
artikel |
|
| 4 | Formal correctness proofs of a nondeterministic program |
Upfal, Eliezer |
1982 |
14 | 2 |
p. 86-92 7 p. |
artikel |
|
| 5 | Minimal storage representations for binary relations |
Lagarias, J.C. |
1982 |
14 | 2 |
p. 63-66 4 p. |
artikel |
|
| 6 | Parallel computation and conflicts in memory access |
Kučera, Luděk |
1982 |
14 | 2 |
p. 93-96 4 p. |
artikel |
|
| 7 | Polygonal intersection searching |
Edelsbrunner, H. |
1982 |
14 | 2 |
p. 74-79 6 p. |
artikel |
|
| 8 | Strong equivalence of relational expressions under dependencies |
Graham, Marc H. |
1982 |
14 | 2 |
p. 57-62 6 p. |
artikel |
|
| 9 | The automatic synthesis of iterative programs |
Gini, Giuseppina |
1982 |
14 | 2 |
p. 67-73 7 p. |
artikel |
9 gevonden resultaten