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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

Theory of Computing Systems

Ausgabe 4/2019

Computer Science Symposium in Russia

Inhalt (10 Artikel)

Foreword

Pascal Weil

Cascade Heap: Towards Time-Optimal Extractions

Maxim Babenko, Ignat Kolesnichenko, Ivan Smirnov

Open Access

An Adequacy Theorem for Dependent Type Theory

Thierry Coquand, Simon Huber

Green’s Relations in Deterministic Finite Automata

Lukas Fleischer, Manfred Kufleitner

Unary Coded PSPACE-Complete Languages in ASPACE(loglog n)

Viliam Geffert

Open Access

Verification of Quantum Computation: An Overview of Existing Approaches

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi

The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC0

Alexei Miasnikov, Svetla Vassileva, Armin Weiß

On Algorithmic Statistics for Space-bounded Algorithms

Alexey Milovanov

Generic Results for Concatenation Hierarchies

Thomas Place, Marc Zeitoun

The Descriptive Complexity of Subgraph Isomorphism Without Numerics

Oleg Verbitsky, Maksim Zhukovskii

Apr 19
Ausgabe: 3/2019
Jul 19
Ausgabe: 5/2019
Special Issue on Theoretical Aspects of Computer Science

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise