|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Bounds in Ontology-Based Data Access via Circuit Complexity |
Podolskii, Vladimir V. |
2016 |
61 | 2 |
p. 464-493 |
artikel |
|
| 2 | Equations Over Free Inverse Monoids with Idempotent Variables |
Diekert, Volker |
2016 |
61 | 2 |
p. 494-520 |
artikel |
|
| 3 | Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts |
Barash, Mikhail |
2016 |
61 | 2 |
p. 581-605 |
artikel |
|
| 4 | Guest Editorial: Computer Science Symposium in Russia |
Beklemishev, Lev |
2017 |
61 | 2 |
p. 462-463 |
artikel |
|
| 5 | On Compiling Structured CNFs to OBDDs |
Bova, Simone |
2016 |
61 | 2 |
p. 637-655 |
artikel |
|
| 6 | On the Satisfiability of Quantum Circuits of Small Treewidth |
Oliveira Oliveira, Mateus de |
2016 |
61 | 2 |
p. 656-688 |
artikel |
|
| 7 | Optimizing Binary Heaps |
Edelkamp, Stefan |
2017 |
61 | 2 |
p. 606-636 |
artikel |
|
| 8 | Preface |
Bulatov, Andrei A. |
2017 |
61 | 2 |
p. 261-262 |
artikel |
|
| 9 | Processing Succinct Matrices and Vectors |
Lohrey, Markus |
2015 |
61 | 2 |
p. 322-351 |
artikel |
|
| 10 | Rewriting Higher-Order Stack Trees |
Penelle, Vincent |
2017 |
61 | 2 |
p. 536-580 |
artikel |
|
| 11 | Satisfiability of ECTL∗ with Local Tree Constraints |
Carapelle, Claudia |
2016 |
61 | 2 |
p. 689-720 |
artikel |
|
| 12 | Separation Logic with One Quantified Variable |
Demri, Stéphane |
2017 |
61 | 2 |
p. 371-461 |
artikel |
|
| 13 | Some Properties of Antistochastic Strings |
Milovanov, Alexey |
2017 |
61 | 2 |
p. 521-535 |
artikel |
|
| 14 | Space Saving by Dynamic Algebraization Based on Tree-Depth |
Fürer, Martin |
2017 |
61 | 2 |
p. 283-304 |
artikel |
|
| 15 | The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits |
Schwerdtfeger, Konrad W. |
2015 |
61 | 2 |
p. 263-282 |
artikel |
|
| 16 | The Half-Levels of the FO2 Alternation Hierarchy |
Fleischer, Lukas |
2016 |
61 | 2 |
p. 352-370 |
artikel |
|
| 17 | The Query Complexity of Witness Finding |
Kawachi, Akinori |
2016 |
61 | 2 |
p. 305-321 |
artikel |
17 gevonden resultaten