|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
22 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A relation-algebraic approach to the “Hoare logic” of functional dependencies |
Oliveira, José N. |
2014 |
83 | 2 |
p. 249-262 14 p. |
artikel |
|
| 2 | Arrow's Theorem for incomplete relations |
Maddux, Roger D. |
2014 |
83 | 2 |
p. 235-248 14 p. |
artikel |
|
| 3 | Computing minimal extending sets by relation-algebraic modeling and development |
Berghammer, Rudolf |
2014 |
83 | 2 |
p. 103-119 17 p. |
artikel |
|
| 4 | Contents |
2014 |
83 | 2 |
p. iv-v nvt p. |
artikel |
||
| 5 | Discrete dualities for some algebras with relations |
Düntsch, Ivo |
2014 |
83 | 2 |
p. 169-179 11 p. |
artikel |
|
| 6 | Editorial Board |
2014 |
83 | 2 |
p. IFC- 1 p. |
artikel |
||
| 7 | Editor's Note |
Bergstra, Jan A. |
2014 |
83 | 2 |
p. 82- 1 p. |
artikel |
|
| 8 | Editor's Note |
De Nicola, Rocco |
2014 |
83 | 2 |
p. 83- 1 p. |
artikel |
|
| 9 | Exploring modal worlds |
Dang, Han-Hing |
2014 |
83 | 2 |
p. 135-153 19 p. |
artikel |
|
| 10 | Gunther Schmidt's life as a mathematician and computer scientist |
Berghammer, Rudolf |
2014 |
83 | 2 |
p. 300-308 9 p. |
artikel |
|
| 11 | Hopscotch—reaching the target hop by hop |
Höfner, Peter |
2014 |
83 | 2 |
p. 212-224 13 p. |
artikel |
|
| 12 | Inference engine based on closure and join operators over Truth Table Binary Relations |
Elloumi, Samir |
2014 |
83 | 2 |
p. 180-193 14 p. |
artikel |
|
| 13 | Multirelations with infinite computations |
Guttmann, Walter |
2014 |
83 | 2 |
p. 194-211 18 p. |
artikel |
|
| 14 | On nothing |
Müller, Martin E. |
2014 |
83 | 2 |
p. 309-317 9 p. |
artikel |
|
| 15 | Preface |
Berghammer, Rudolf |
2014 |
83 | 2 |
p. 85-86 2 p. |
artikel |
|
| 16 | Programming and automating mathematics in the Tarski–Kleene hierarchy |
Armstrong, Alasdair |
2014 |
83 | 2 |
p. 87-102 16 p. |
artikel |
|
| 17 | Publisher's Note |
Capone, Rebecca |
2014 |
83 | 2 |
p. 81- 1 p. |
artikel |
|
| 18 | Relational properties of sequential composition of coalgebras |
Winter, Michael |
2014 |
83 | 2 |
p. 284-299 16 p. |
artikel |
|
| 19 | Relational style laws and constructs of linear algebra |
Desharnais, Jules |
2014 |
83 | 2 |
p. 154-168 15 p. |
artikel |
|
| 20 | Relations into algebras of probabilistic distributions |
Tsumagari, Norihiro |
2014 |
83 | 2 |
p. 263-283 21 p. |
artikel |
|
| 21 | Spatial voting games, relation algebra and RelView |
Berghammer, Rudolf |
2014 |
83 | 2 |
p. 120-134 15 p. |
artikel |
|
| 22 | Towards “mouldable code” via nested code graph transformation |
Kahl, Wolfram |
2014 |
83 | 2 |
p. 225-234 10 p. |
artikel |
22 gevonden resultaten