Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully se...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Serier: | Theoretical Computer Science and General Issues
8087 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical Foundations of Computer Science 2013, 9783642403125 • Mathematical Foundations of Computer Science 2013, 9783642403149 |
Indholdsfortegnelse:
- Alternation Trading Proofs and Their Limitations
- Bin Packing Games with Selfish Items
- A Constructive Proof of the Topological Kruskal Theorem
- Prior-Free Auctions of Digital Goods
- Clustering on k-Edge-Colored Graphs
- How to Pack Your Items When You Have to Buy Your Knapsack.-Computing Behavioral Distances, Compositionally
- Rewriting Guarded Negation Queries
- Parity Games and Propositional Proofs
- Bringing Order to Special Cases of Klee s Measure Problem
- Learning Reductions to Sparse Sets
- Probabilistic Automata with Isolated Cut-Points
- On Stochastic Games with Multiple Objectives
- Paradigms for Parameterized Enumeration
- Noninterference with Local Policies
- Ordering Metro Lines by Block Crossings
- Meta-kernelization with Structural Parameters
- Polynomial Threshold Functions and Boolean Threshold Circuits
- Detecting Regularities on Grammar-Compressed Strings
- An Unusual Temporal Logic.