|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Extended Regular Expressions: Succinctness and Decidability |
Freydenberger, Dominik D. |
2012 |
53 | 2 |
p. 159-193 |
artikel |
|
| 2 | Nominal Monoids |
Bojańczyk, Mikołaj |
2013 |
53 | 2 |
p. 194-222 |
artikel |
|
| 3 | Online Scheduling with Interval Conflicts |
Halldórsson, Magnús M. |
2012 |
53 | 2 |
p. 300-317 |
artikel |
|
| 4 | Preface of Special Issue on Theoretical Aspects of Computer Science |
Dürr, Christoph |
2013 |
53 | 2 |
p. 123-125 |
artikel |
|
| 5 | Series Parallel Digraphs with Loops |
Gulan, Stefan |
2012 |
53 | 2 |
p. 126-158 |
artikel |
|
| 6 | Spectral Sparsification in the Semi-streaming Setting |
Kelner, Jonathan A. |
2012 |
53 | 2 |
p. 243-262 |
artikel |
|
| 7 | Stochastic Cellular Automata Solutions to the Density Classification Problem |
Fatès, Nazim |
2012 |
53 | 2 |
p. 223-242 |
artikel |
|
| 8 | Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification |
Kor, Liah |
2013 |
53 | 2 |
p. 318-340 |
artikel |
|
| 9 | Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing |
Kolman, Petr |
2013 |
53 | 2 |
p. 341-363 |
artikel |
|
| 10 | Vertex Cover Kernelization Revisited |
Jansen, Bart M. P. |
2012 |
53 | 2 |
p. 263-299 |
artikel |
10 gevonden resultaten