The Shortest Path Game: Complexity and Algorithms (Englisch)
- Neue Suche nach: Darmann, A.
- Neue Suche nach: Pferschy, U.
- Neue Suche nach: Schauer, J.
- Neue Suche nach: Darmann, A.
- Neue Suche nach: Pferschy, U.
- Neue Suche nach: Schauer, J.
- Neue Suche nach: Diaz, J.
- Neue Suche nach: Lanese, Ivan
- Neue Suche nach: Sangiorgi, Davide
In:
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014
8705
;
39-53
;
2014
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:The Shortest Path Game: Complexity and Algorithms
-
Beteiligte:Darmann, A. ( Autor:in ) / Pferschy, U. ( Autor:in ) / Schauer, J. ( Autor:in ) / Diaz, J. / Lanese, Ivan / Sangiorgi, Davide
-
Kongress:Conference; 8th, 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014 ; 2014 ; Rome
-
Erschienen in:8th IFIP TC 1/WG 2.2 International Conference, TCS 2014 , 8705 ; 39-53LECTURE NOTES IN COMPUTER SCIENCE , 8705 ; 39-53
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:15 pages
-
Anmerkungen:Includes bibliographical references and author index. Also published electronically.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Zero-Suppressed Binary Decision Diagrams Resilient to Index FaultsBernasconi, A. / Ciriani, V. et al. | 2014
- 13
-
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite GraphsCaskurlu, B. / Mkrtchyan, V. / Parekh, O. / Subramani, K. et al. | 2014
- 27
-
Perfect Pipelining for Streaming Large File in Peer-to-Peer NetworksChen, F. / Wu, X. et al. | 2014
- 39
-
The Shortest Path Game: Complexity and AlgorithmsDarmann, A. / Pferschy, U. / Schauer, J. et al. | 2014
- 54
-
Online Scheduling of Unit Length Jobs with Commitment and PenaltiesFung, S.P.Y. et al. | 2014
- 66
-
The Lazy Matroid ProblemGourves, L. / Monnot, J. / Pagourtzis, A.T. et al. | 2014
- 78
-
Treewidth Computation and Kernelization in the Parallel External Memory ModelJacob, R. / Lieber, T. / Mnich, M. et al. | 2014
- 90
-
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint LogicLange, M. / Lozes, E. et al. | 2014
- 104
-
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once FunctionsMorizumi, H. et al. | 2014
- 111
-
Subshifts, MSO Logic, and Collapsing HierarchiesTorma, I. et al. | 2014
- 123
-
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' AlgorithmWiedermann, J. et al. | 2014
- 136
-
Not All Multi-valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)Yamakami, T. et al. | 2014
- 151
-
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-CalculusBaillot, P. / De Benedetti, E. / Rocca, S.R.D. et al. | 2014
- 164
-
A Hoare-Like Calculus Using the SROIQ^ ^d^e^l^t^a^ Logic on Transformations of GraphsBrenas, J.H. / Echahed, R. / Strecker, M. et al. | 2014
- 179
-
Termination Analysis for Graph Transformation SystemsBruggink, H.J.S. / Konig, B. / Zantema, H. et al. | 2014
- 195
-
Tropical Two-Way AutomataCarnino, V. / Lombardy, S. et al. | 2014
- 207
-
Parametric LTL on Markov ChainsChakraborty, S. / Katoen, J.-P. et al. | 2014
- 222
-
Specifying and Verifying Properties of SpaceCiancia, V. / Latella, D. / Loreti, M. / Massink, M. et al. | 2014
- 236
-
Primal Infon Logic with Conjunctions as SetsCotrini, C. / Gurevich, Y. / Lahav, O. / Melentyev, A. et al. | 2014
- 250
-
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear LogicDawson, J.E. / Clouston, R. / Gore, R. / Tiu, A. et al. | 2014
- 265
-
Towards a Coalgebraic Chomsky Hierarchy (Extended Abstract)Goncharov, S. / Milius, S. / Silva, A. et al. | 2014
- 281
-
Strong Completeness for Iteration-Free Coalgebraic Dynamic LogicsHansen, H.H. / Kupke, C. / Leal, R.A. et al. | 2014
- 296
-
Quantitative Types for the Linear Substitution CalculusKesner, D. / Ventura, D. et al. | 2014
- 311
-
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted AutomataKonig, B. / Kupper, S. et al. | 2014
- 326
-
Looking at Separation Algebras with Boolean BI-eyesLarchey-Wendling, D. / Galmiche, D. et al. | 2014
- 341
-
The Inhabitation Problem for Non-idempotent Intersection TypesBucciarelli, A. / Kesner, D. / Rocca, S.R.D. et al. | 2014