| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Class of Reversible Primitive Recursive Functions
|
Paolini, Luca
|
|
2016
|
322 |
C |
p. 227-242
16 p.
|
artikel
|
| 2 |
An Imperative Pure Calculus
|
Capriccioli, Andrea
|
|
2016
|
322 |
C |
p. 87-102
16 p.
|
artikel
|
| 3 |
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring
|
Gudmundsson, Bjarki Agust
|
|
2016
|
322 |
C |
p. 181-195
15 p.
|
artikel
|
| 4 |
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
|
Molinari, Alberto
|
|
2016
|
322 |
C |
p. 211-226
16 p.
|
artikel
|
| 5 |
Correcting Gene Trees by Leaf Insertions: Complexity and Approximation
|
Beretta, Stefano
|
|
2016
|
322 |
C |
p. 35-50
16 p.
|
artikel
|
| 6 |
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
|
Amato, Gianluca
|
|
2016
|
322 |
C |
p. 3-18
16 p.
|
artikel
|
| 7 |
Formal Attributes Traceability in Modular Language Development Frameworks
|
Cazzola, Walter
|
|
2016
|
322 |
C |
p. 119-134
16 p.
|
artikel
|
| 8 |
Incremental Rebinding with Name Polymorphism
|
Ancona, Davide
|
|
2016
|
322 |
C |
p. 19-34
16 p.
|
artikel
|
| 9 |
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
|
Borassi, Michele
|
|
2016
|
322 |
C |
p. 51-67
17 p.
|
artikel
|
| 10 |
Is Hyper-extensionality Preservable Under Deletions of Graph Elements?
|
Casagrande, Alberto
|
|
2016
|
322 |
C |
p. 103-118
16 p.
|
artikel
|
| 11 |
On the Maximum Betweenness Improvement Problem
|
D'Angelo, Gianlorenzo
|
|
2016
|
322 |
C |
p. 153-168
16 p.
|
artikel
|
| 12 |
Partial and Complete Processes in Multiparty Sessions
|
Coppo, Mario
|
|
2016
|
322 |
C |
p. 135-151
17 p.
|
artikel
|
| 13 |
Preface
|
Crescenzi, Pierluigi
|
|
2016
|
322 |
C |
p. 1-2
2 p.
|
artikel
|
| 14 |
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs
|
D'Emidio, Mattia
|
|
2016
|
322 |
C |
p. 169-180
12 p.
|
artikel
|
| 15 |
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
|
Cantone, Domenico
|
|
2016
|
322 |
C |
p. 69-86
18 p.
|
artikel
|
| 16 |
Unbounded Recursion and Non-size-increasing Functions
|
Mazzanti, S.
|
|
2016
|
322 |
C |
p. 197-210
14 p.
|
artikel
|
Tijdschrift beschrijving