|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 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 |
4 |
p. 500-519 20 p. |
artikel |
||
| 2 | Algorithms for Kleene algebra with converse |
Brunet, Paul |
2016 |
4 |
p. 574-594 21 p. |
artikel |
||
| 3 | An algebraic approach to computations with progress |
Guttmann, Walter |
2016 |
4 |
p. 520-539 20 p. |
artikel |
||
| 4 | Canonical finite models of Kleene algebra with tests |
Uramoto, Takeo |
2016 |
4 |
p. 595-616 22 p. |
artikel |
||
| 5 | Concurrent Kleene algebra with tests and branching automata |
Jipsen, Peter |
2016 |
4 |
p. 637-652 16 p. |
artikel |
||
| 6 | Contents |
2016 |
4 |
p. v- 1 p. |
artikel |
|||
| 7 | Contents |
2015 |
4 |
p. v- 1 p. |
artikel |
|||
| 8 | Developments in concurrent Kleene algebra |
Hoare, Tony |
2016 |
4 |
p. 617-636 20 p. |
artikel |
||
| 9 | Editorial Board |
2016 |
4 |
p. IFC- 1 p. |
artikel |
|||
| 10 | Editorial Board |
2015 |
4 |
p. IFC- 1 p. |
artikel |
|||
| 11 | Editorial for the JLAMP Special Issue on automated specification and verification of web systems |
Ravara, António |
2015 |
4 |
p. 483-484 2 p. |
artikel |
||
| 12 | Executable rewriting logic semantics of Orc and formal analysis of Orc programs |
AlTurki, Musab A. |
2015 |
4 |
p. 505-533 29 p. |
artikel |
||
| 13 | “Keep definition, change category” — A practical approach to state-based system calculi |
Oliveira, José Nuno |
2016 |
4 |
p. 449-474 26 p. |
artikel |
||
| 14 | Lightweight formalization and validation of ORM models |
Jahangard-Rafsanjani, Amir |
2015 |
4 |
p. 534-549 16 p. |
artikel |
||
| 15 | Minimal type inference for Linked Data consumers |
Ciobanu, Gabriel |
2015 |
4 |
p. 485-504 20 p. |
artikel |
||
| 16 | Relational and algebraic methods in computer science |
Höfner, Peter |
2016 |
4 |
p. 447-448 2 p. |
artikel |
||
| 17 | Relational lattices: From databases to universal algebra |
Litak, Tadeusz |
2016 |
4 |
p. 540-573 34 p. |
artikel |
||
| 18 | Relation lifting, a survey |
Kurz, Alexander |
2016 |
4 |
p. 475-499 25 p. |
artikel |
18 gevonden resultaten