|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra |
Ferreira, João F. |
2016 |
85 | 5P2 |
p. 906-920 15 p. |
artikel |
|
| 2 | A divertimento on MonadPlus and nondeterminism |
Uustalu, Tarmo |
2016 |
85 | 5P2 |
p. 1086-1094 9 p. |
artikel |
|
| 3 | An exercise on the generation of many-valued dynamic logics |
Madeira, Alexandre |
2016 |
85 | 5P2 |
p. 1011-1037 27 p. |
artikel |
|
| 4 | Contents |
2016 |
85 | 5P2 |
p. v-vi nvt p. |
artikel |
||
| 5 | Continuity as a computational effect |
Neves, Renato |
2016 |
85 | 5P2 |
p. 1057-1085 29 p. |
artikel |
|
| 6 | Dependencies in relational models of databases |
Winter, Michael |
2016 |
85 | 5P2 |
p. 1095-1107 13 p. |
artikel |
|
| 7 | Diversity and adjudication |
Boiten, Eerke A. |
2016 |
85 | 5P2 |
p. 860-866 7 p. |
artikel |
|
| 8 | Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation |
Aichernig, Bernhard K. |
2016 |
85 | 5P2 |
p. 806-823 18 p. |
artikel |
|
| 9 | Editorial Board |
2016 |
85 | 5P2 |
p. IFC- 1 p. |
artikel |
||
| 10 | Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers |
Hinze, Ralf |
2016 |
85 | 5P2 |
p. 931-951 21 p. |
artikel |
|
| 11 | Extended Feature Algebra |
Höfner, Peter |
2016 |
85 | 5P2 |
p. 952-971 20 p. |
artikel |
|
| 12 | Factor theory and the unity of opposites |
Backhouse, Roland |
2016 |
85 | 5P2 |
p. 824-846 23 p. |
artikel |
|
| 13 | Formal derivation of Greedy algorithms from relational specifications: A tutorial |
Chiang, Yu-Hsi |
2016 |
85 | 5P2 |
p. 879-905 27 p. |
artikel |
|
| 14 | Gaussian elimination is not optimal, revisited |
Macedo, Hugo Daniel |
2016 |
85 | 5P2 |
p. 999-1010 12 p. |
artikel |
|
| 15 | Kernels, in a nutshell |
Gibbons, Jeremy |
2016 |
85 | 5P2 |
p. 921-930 10 p. |
artikel |
|
| 16 | Possible values: Exploring a concept for concurrency |
Jones, Cliff B. |
2016 |
85 | 5P2 |
p. 972-984 13 p. |
artikel |
|
| 17 | Product programs and relational program logics |
Barthe, Gilles |
2016 |
85 | 5P2 |
p. 847-859 13 p. |
artikel |
|
| 18 | Quien sabe por Algebra, sabe scientificamente |
Barbosa, Luis |
2016 |
85 | 5P2 |
p. 805- 1 p. |
artikel |
|
| 19 | The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA |
Larsen, Peter Gorm |
2016 |
85 | 5P2 |
p. 985-998 14 p. |
artikel |
|
| 20 | Towards patterns for heaps and imperative lambdas |
Naumann, David A. |
2016 |
85 | 5P2 |
p. 1038-1056 19 p. |
artikel |
|
| 21 | Why mathematics needs engineering |
Boute, Raymond |
2016 |
85 | 5P2 |
p. 867-878 12 p. |
artikel |
21 gevonden resultaten