|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems |
Mostéfaoui, Achour |
2016 |
60 | 4 |
p. 677-694 |
artikel |
|
| 2 | Multi-processor Search and Scheduling Problems with Setup Cost |
Angelopoulos, Spyros |
2016 |
60 | 4 |
p. 637-670 |
artikel |
|
| 3 | On the Generic Undecidability of the Halting Problem for Normalized Turing Machines |
Rybalov, Alexander |
2016 |
60 | 4 |
p. 671-676 |
artikel |
|
| 4 | Paradigms for Parameterized Enumeration |
Creignou, Nadia |
2016 |
60 | 4 |
p. 737-758 |
artikel |
|
| 5 | Polynomial Kernelization for Removing Induced Claws and Diamonds |
Cygan, Marek |
2016 |
60 | 4 |
p. 615-636 |
artikel |
|
| 6 | Tai Mapping Hierarchy for Rooted Labeled Trees Through Common Subforest |
Yoshino, Takuya |
2016 |
60 | 4 |
p. 759-783 |
artikel |
|
| 7 | The Complexity of Model Checking Multi-Stack Systems |
Bollig, Benedikt |
2016 |
60 | 4 |
p. 695-736 |
artikel |
|
| 8 | Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement |
Berkholz, Christoph |
2016 |
60 | 4 |
p. 581-614 |
artikel |
8 gevonden resultaten