Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Theory of Computing Systems

Ausgabe 2/2017

Computer Science Symposium in Russia

Inhalt (17 Artikel)

Preface

Andrei A. Bulatov, Edward A. Hirsch, Jean-Éric Pin

The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

Konrad W. Schwerdtfeger

Space Saving by Dynamic Algebraization Based on Tree-Depth

Martin Fürer, Huiwen Yu

The Query Complexity of Witness Finding

Akinori Kawachi, Benjamin Rossman, Osamu Watanabe

Processing Succinct Matrices and Vectors

Markus Lohrey, Manfred Schmidt-Schauß

The Half-Levels of the FO2 Alternation Hierarchy

Lukas Fleischer, Manfred Kufleitner, Alexander Lauser

Separation Logic with One Quantified Variable

Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry

Guest Editorial: Computer Science Symposium in Russia

Lev Beklemishev

Bounds in Ontology-Based Data Access via Circuit Complexity

Vladimir V. Podolskii

Equations Over Free Inverse Monoids with Idempotent Variables

Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva

Some Properties of Antistochastic Strings

Alexey Milovanov

Open Access

Rewriting Higher-Order Stack Trees

Vincent Penelle

Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

Mikhail Barash, Alexander Okhotin

Optimizing Binary Heaps

Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen

Open Access

On Compiling Structured CNFs to OBDDs

Simone Bova, Friedrich Slivovsky

On the Satisfiability of Quantum Circuits of Small Treewidth

Mateus de Oliveira Oliveira

Satisfiability of ECTL∗ with Local Tree Constraints

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Jul 17
Ausgabe: 1/2017
Database Theory
Okt 17
Ausgabe: 3/2017

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr