default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th 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, Maria Chiara Meo, Francesca Scozzari:
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. 3-18 - Davide Ancona, Paola Giannini, Elena Zucca:
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, Michel Habib:
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, Carla Piazza, Alberto Policriti:
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? 103-118 - Walter Cazzola, Paola Giannini, Albert Shaqiri:
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, Lorenzo Severini, Yllka Velaj:
On the Maximum Betweenness Improvement Problem. 153-168 - Mattia D'Emidio, Daniele Frigioni, Alfredo Navarra:
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, Angelo Montanari, Adriano Peron:
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. 211-226 - Luca Paolini, Mauro Piccolo, Luca Roversi:
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 2024-09-18 23:41 CEST 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:
