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 4/2010

Special Issue: Symposium on Computer Science; Guest Editors: Sergei Artemov, Volker Diekert and Alexander Razborov

Inhalt (10 Artikel)

Preface

Sergei Artemov, Volker Diekert, Alexander Razborov

Comparing Universal Covers in Polynomial Time

Jiří Fiala, Daniël Paulusma

Self-Referential Justifications in Epistemic Logic

Roman Kuznets

Unidirectional Lambek Grammars in Polynomial Time

Yury Savateev

A Semantic Proof of Polytime Soundness of Light Affine Logic

Ugo Dal Lago, Martin Hofmann

Complexity of the Bollobás–Riordan Polynomial. Exceptional Points and Uniform Reductions

Markus Bläser, Holger Dell, Johann A. Makowsky

Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences

Marius Zimand

Simple and Improved Parameterized Algorithms for Multiterminal Cuts

Mingyu Xiao

Logic and Rational Languages of Words Indexed by Linear Orderings

Nicolas Bedon, Alexis Bès, Olivier Carton, Chloé Rispal

On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth

Uffe Flarup, Laurent Lyaudet

Apr 10
Ausgabe: 3/2010
Special Issue: Theoretical Aspects of Computer Science
Jul 10
Ausgabe: 1/2010
Special Section: Algorithmic Game Theory; Guest Editors: Burkhard Monien and Ulf-Peter Schroeder

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr