| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An axiomatic approach to differentiation of polynomial circuits
|
Wilson, Paul
|
|
|
135 |
C |
p.
|
artikel
|
| 2 |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
|
López-Rueda, Raúl
|
|
|
135 |
C |
p.
|
artikel
|
| 3 |
Composition of synchronous communicating systems
|
Barbanera, Franco
|
|
|
135 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
135 |
C |
p.
|
artikel
|
| 5 |
ElixirST: A session-based type system for Elixir modules
|
Francalanza, Adrian
|
|
|
135 |
C |
p.
|
artikel
|
| 6 |
Fundamentals of compositional rewriting theory
|
Behr, Nicolas
|
|
|
135 |
C |
p.
|
artikel
|
| 7 |
Liquidity analysis in resource-aware programming
|
Laneve, Cosimo
|
|
|
135 |
C |
p.
|
artikel
|
| 8 |
Operationally-based program equivalence proofs using LCTRSs
|
Ciobâcă, Ştefan
|
|
|
135 |
C |
p.
|
artikel
|
| 9 |
Program equivalence in a typed probabilistic call-by-need functional language
|
Schmidt-Schauß, Manfred
|
|
|
135 |
C |
p.
|
artikel
|
| 10 |
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting
|
Kojima, Misaki
|
|
|
135 |
C |
p.
|
artikel
|
| 11 |
Specification and modelling of computing systems through graphs and graph transformation
|
Gadducci, Fabio
|
|
|
135 |
C |
p.
|
artikel
|
Tijdschrift beschrijving