| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A computable and compositional semantics for hybrid systems
|
Bresolin, Davide
|
|
|
300 |
C |
p.
|
artikel
|
| 2 |
A generic type system for higher-order Ψ-calculi
|
Hüttel, Hans
|
|
|
300 |
C |
p.
|
artikel
|
| 3 |
Characterizing contrasimilarity through games, modal logic, and complexity
|
Bisping, Benjamin
|
|
|
300 |
C |
p.
|
artikel
|
| 4 |
Depth-3 circuits for inner product
|
Göös, Mika
|
|
|
300 |
C |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
300 |
C |
p.
|
artikel
|
| 6 |
On prime scenarios in qualitative spatial and temporal reasoning
|
Salhi, Yakoub
|
|
|
300 |
C |
p.
|
artikel
|
| 7 |
Parameterized problems complete for nondeterministic FPT time and logarithmic space
|
Bodlaender, Hans L.
|
|
|
300 |
C |
p.
|
artikel
|
| 8 |
Quantum temporal logic and reachability problems of matrix semigroups
|
Yu, Nengkun
|
|
|
300 |
C |
p.
|
artikel
|
| 9 |
Secretive interaction
|
Skapinakis, Eduardo
|
|
|
300 |
C |
p.
|
artikel
|
| 10 |
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
|
Yan, Rui
|
|
|
300 |
C |
p.
|
artikel
|
| 11 |
The number of spanning trees for Sierpiński graphs and data center networks
|
Zhang, Xiaojuan
|
|
|
300 |
C |
p.
|
artikel
|
| 12 |
Total (restrained) domination in unit disk graphs
|
Yang, Yu
|
|
|
300 |
C |
p.
|
artikel
|
Tijdschrift beschrijving