|
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 | A bi-intuitionistic modal logic: Foundations and automation |
Stell, John G. |
2016 |
85 | 4 |
p. 500-519 20 p. |
artikel |
|
| 2 | Algorithms for Kleene algebra with converse |
Brunet, Paul |
2016 |
85 | 4 |
p. 574-594 21 p. |
artikel |
|
| 3 | An algebraic approach to computations with progress |
Guttmann, Walter |
2016 |
85 | 4 |
p. 520-539 20 p. |
artikel |
|
| 4 | Canonical finite models of Kleene algebra with tests |
Uramoto, Takeo |
2016 |
85 | 4 |
p. 595-616 22 p. |
artikel |
|
| 5 | Concurrent Kleene algebra with tests and branching automata |
Jipsen, Peter |
2016 |
85 | 4 |
p. 637-652 16 p. |
artikel |
|
| 6 | Contents |
2016 |
85 | 4 |
p. v- 1 p. |
artikel |
||
| 7 | Developments in concurrent Kleene algebra |
Hoare, Tony |
2016 |
85 | 4 |
p. 617-636 20 p. |
artikel |
|
| 8 | Editorial Board |
2016 |
85 | 4 |
p. IFC- 1 p. |
artikel |
||
| 9 | “Keep definition, change category” — A practical approach to state-based system calculi |
Oliveira, José Nuno |
2016 |
85 | 4 |
p. 449-474 26 p. |
artikel |
|
| 10 | Relational and algebraic methods in computer science |
Höfner, Peter |
2016 |
85 | 4 |
p. 447-448 2 p. |
artikel |
|
| 11 | Relational lattices: From databases to universal algebra |
Litak, Tadeusz |
2016 |
85 | 4 |
p. 540-573 34 p. |
artikel |
|
| 12 | Relation lifting, a survey |
Kurz, Alexander |
2016 |
85 | 4 |
p. 475-499 25 p. |
artikel |
12 gevonden resultaten