|
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 | An Adequacy Theorem for Dependent Type Theory |
Coquand, Thierry |
2018 |
63 | 4 |
p. 647-665 |
artikel |
|
| 2 | Cascade Heap: Towards Time-Optimal Extractions |
Babenko, Maxim |
2018 |
63 | 4 |
p. 637-646 |
artikel |
|
| 3 | Foreword |
Weil, Pascal |
2018 |
63 | 4 |
p. 635-636 |
artikel |
|
| 4 | Generic Results for Concatenation Hierarchies |
Place, Thomas |
2018 |
63 | 4 |
p. 849-901 |
artikel |
|
| 5 | Green’s Relations in Deterministic Finite Automata |
Fleischer, Lukas |
2018 |
63 | 4 |
p. 666-687 |
artikel |
|
| 6 | On Algorithmic Statistics for Space-bounded Algorithms |
Milovanov, Alexey |
2018 |
63 | 4 |
p. 833-848 |
artikel |
|
| 7 | The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC0 |
Miasnikov, Alexei |
2018 |
63 | 4 |
p. 809-832 |
artikel |
|
| 8 | The Descriptive Complexity of Subgraph Isomorphism Without Numerics |
Verbitsky, Oleg |
2018 |
63 | 4 |
p. 902-921 |
artikel |
|
| 9 | Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) |
Geffert, Viliam |
2018 |
63 | 4 |
p. 688-714 |
artikel |
|
| 10 | Verification of Quantum Computation: An Overview of Existing Approaches |
Gheorghiu, Alexandru |
2018 |
63 | 4 |
p. 715-808 |
artikel |
10 gevonden resultaten