default search action
16th ICTCS 2015: Firenze, Italy
- Pierluigi Crescenzi, Michele Loreti:
Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015. Electronic Notes in Theoretical Computer Science 322, Elsevier 2016 - Pierluigi Crescenzi
, Michele Loreti
Preface. 1-2 - Gianluca Amato
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. 3-18 - Davide Ancona, Paola Giannini
Incremental Rebinding with Name Polymorphism. 19-34 - Stefano Beretta, Riccardo Dondi:
Correcting Gene Trees by Leaf Insertions: Complexity and Approximation. 35-50 - Michele Borassi, Pierluigi Crescenzi
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems. 51-67 - Domenico Cantone, Marianna Nicolosi Asmundo
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 69-86 - Andrea Capriccioli, Marco Servetto, Elena Zucca:
An Imperative Pure Calculus. 87-102 - Alberto Casagrande
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? 103-118 - Walter Cazzola
Formal Attributes Traceability in Modular Language Development Frameworks. 119-134 - Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Partial and Complete Processes in Multiparty Sessions. 135-151 - Gianlorenzo D'Angelo
On the Maximum Betweenness Improvement Problem. 153-168 - Mattia D'Emidio
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs. 169-180 - Bjarki Agust Gudmundsson, Tómas Ken Magnússon, Björn Orri Sæmundsson:
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring. 181-195 - Stefano Mazzanti
Unbounded Recursion and Non-size-increasing Functions. 197-210 - Alberto Molinari
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. 211-226 - Luca Paolini
A Class of Reversible Primitive Recursive Functions. 227-242
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: