| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A dynamic logic with branching modalities
|
Zhang, Yuanrui
|
|
|
136 |
C |
p.
|
artikel
|
| 2 |
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework
|
Kosiol, Jens
|
|
|
136 |
C |
p.
|
artikel
|
| 3 |
Branching pomsets: Design, expressiveness and applications to choreographies
|
Edixhoven, Luc
|
|
|
136 |
C |
p.
|
artikel
|
| 4 |
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
|
Durán, Francisco
|
|
|
136 |
C |
p.
|
artikel
|
| 5 |
Certifying expressive power and algorithms of reversible primitive permutations with Lean
|
Maletto, Giacomo
|
|
|
136 |
C |
p.
|
artikel
|
| 6 |
Control-data separation and logical condition propagation for efficient inference on probabilistic programs
|
Hasuo, Ichiro
|
|
|
136 |
C |
p.
|
artikel
|
| 7 |
Editorial Board
|
|
|
|
136 |
C |
p.
|
artikel
|
| 8 |
Local confluence of conditional and generalized term rewriting systems
|
Lucas, Salvador
|
|
|
136 |
C |
p.
|
artikel
|
| 9 |
On algebraic array theories
|
Raya, Rodrigo
|
|
|
136 |
C |
p.
|
artikel
|
| 10 |
Quantum encoding of dynamic directed graphs
|
Della Giustina, D.
|
|
|
136 |
C |
p.
|
artikel
|
| 11 |
The correctness of concurrencies in (reversible) concurrent calculi
|
Aubert, Clément
|
|
|
136 |
C |
p.
|
artikel
|
| 12 |
Time distance-based computation of the DBM over-approximation of preemptive real-time systems
|
Abdelli, Abdelkrim
|
|
|
136 |
C |
p.
|
artikel
|
| 13 |
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks
|
Wei, Zeming
|
|
|
136 |
C |
p.
|
artikel
|
Tijdschrift beschrijving