|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Behavioural logics for configuration structures |
Baldan, Paolo |
|
913 | C |
p. 94-112 |
artikel |
|
| 2 | Eager functions as processes |
Durier, Adrien |
|
913 | C |
p. 8-42 |
artikel |
|
| 3 | Editorial Board |
|
913 | C |
p. ii |
artikel |
||
| 4 | Formal semantics of a classical-quantum language |
Deng, Yuxin |
|
913 | C |
p. 73-93 |
artikel |
|
| 5 | Generic recursive lens combinators and their calculation laws |
Xie, Ruifeng |
|
913 | C |
p. 113-137 |
artikel |
|
| 6 | Information systems for continuous semi-lattices |
Wang, Longchun |
|
913 | C |
p. 138-150 |
artikel |
|
| 7 | Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism |
Bezem, Marc |
|
913 | C |
p. 1-7 |
artikel |
|
| 8 | Model checking QCTL plus on quantum Markov chains |
Xu, Ming |
|
913 | C |
p. 43-72 |
artikel |
|
| 9 | On distributability |
Peters, Kirstin |
|
913 | C |
p. 151-173 |
artikel |
9 gevonden resultaten