| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A probabilistic approximate logic for neuro-symbolic learning and reasoning
|
Stehr, Mark-Oliver
|
|
|
124 |
C |
p.
|
artikel
|
| 2 |
Comparing type systems for deadlock freedom
|
Dardha, Ornela
|
|
|
124 |
C |
p.
|
artikel
|
| 3 |
Components and acyclicity of graphs. An exercise in combining precision with concision
|
Backhouse, Roland
|
|
|
124 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
124 |
C |
p.
|
artikel
|
| 5 |
Event structures for the reversible early internal π-calculus
|
Graversen, Eva
|
|
|
124 |
C |
p.
|
artikel
|
| 6 |
Formalizing Moessner's theorem and generalizations in Nuprl
|
Bickford, Mark
|
|
|
124 |
C |
p.
|
artikel
|
| 7 |
Metalevel transformation of strategies
|
Rubio, Rubén
|
|
|
124 |
C |
p.
|
artikel
|
| 8 |
Optimization of rewrite theories by equational partial evaluation
|
Alpuente, M.
|
|
|
124 |
C |
p.
|
artikel
|
| 9 |
Reversible computation in nets with bonds
|
Philippou, Anna
|
|
|
124 |
C |
p.
|
artikel
|
| 10 |
Session-typed concurrent contracts
|
Gommerstadt, Hannah
|
|
|
124 |
C |
p.
|
artikel
|
| 11 |
Simulating and model checking membrane systems using strategies in Maude
|
Rubio, Rubén
|
|
|
124 |
C |
p.
|
artikel
|
Tijdschrift beschrijving