|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic characterization of reducible flowcharts |
Schmeck, Hartmut |
1983 |
27 | 2 |
p. 165-199 35 p. |
artikel |
|
| 2 | Algebras of iteration theories |
Ésik, Z. |
1983 |
27 | 2 |
p. 291-303 13 p. |
artikel |
|
| 3 | All solutions of a system of recursion equations in infinite trees and other contraction theories |
Bloom, Stephen L. |
1983 |
27 | 2 |
p. 225-255 31 p. |
artikel |
|
| 4 | An axiomatization of D-scheme strong equivalence |
Troeger, Douglas R. |
1983 |
27 | 2 |
p. 221-224 4 p. |
artikel |
|
| 5 | Calvin C. Elgot 1922–1980 |
Shepherdson, J.C. |
1983 |
27 | 2 |
p. 141-144 4 p. |
artikel |
|
| 6 | Correctness of recursive parallel nondeterministic flow programs |
Goguen, J.A. |
1983 |
27 | 2 |
p. 268-290 23 p. |
artikel |
|
| 7 | Extensions of iterative congruences on free iterative algebras |
Parisi-Presicce, Francesco |
1983 |
27 | 2 |
p. 200-220 21 p. |
artikel |
|
| 8 | Implementation of data types by algebraic methods |
Blum, Edward K. |
1983 |
27 | 2 |
p. 304-330 27 p. |
artikel |
|
| 9 | Recursion and iteration in continuous theories: The “M-construction” |
Bloom, Stephen L. |
1983 |
27 | 2 |
p. 148-164 17 p. |
artikel |
|
| 10 | Reminiscences 1 |
Miller, R.E. |
1983 |
27 | 2 |
p. 145- 1 p. |
artikel |
|
| 11 | Reminiscences 2 |
Blum, E.K. |
1983 |
27 | 2 |
p. 146-147 2 p. |
artikel |
|
| 12 | Transaction protection by beacons |
Rabin, Michael O. |
1983 |
27 | 2 |
p. 256-267 12 p. |
artikel |
12 gevonden resultaten