Collection
Theoretical Aspects of Computer Science (STACS 2017)
This collection contains seven articles which are based on extended abstracts that were presented at the 34th Symposium on Theoretical Aspects of Computer Science (STACS), which was held at the Leibnizhaus in Hannover from March 8th to 11th, 2017. These extended abstracts were chosen among the top papers of those that were selected for presentation at STACS 2017 in a highly competitive peer-review process (after which only 54 papers out of 212 submissions were accepted).
Editors
-
Brigitte Vallée
Brigitte Vallée is Directrice de Recherche at the French CNRS, at Université de Caen, since 2001 and specialized in computational number theory and analysis of algorithms.
-
Heribert Vollmer
Heribert Vollmer is a Professor of Theoretical Computer Science and Managing Director of the Institute for Theoretical Computer Science at the Leibniz Universität Hannover, Germany.
Articles (8 in this collection)
-
-
-
-
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Authors (first, second and last of 5)
-
-
-
-
