An Adequacy Theorem for Dependent Type Theory.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 647, doi. 10.1007/s00224-018-9879-9
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2019 AND VI 63 AND IP 4
Results: 10
1
2
Foreword.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
3
Verification of Quantum Computation: An Overview of Existing Approaches.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 715, doi. 10.1007/s00224-018-9872-3
- By:
- Publication type:
- Article
4
Generic Results for Concatenation Hierarchies.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 849, doi. 10.1007/s00224-018-9867-0
- By:
- Publication type:
- Article
5
Cascade Heap: Towards Time-Optimal Extractions.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 637, doi. 10.1007/s00224-018-9866-1
- By:
- Publication type:
- Article
6
The Descriptive Complexity of Subgraph Isomorphism Without Numerics.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 902, doi. 10.1007/s00224-018-9864-3
- By:
- Publication type:
- Article
7
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC<sup>0</sup>.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 809, doi. 10.1007/s00224-018-9849-2
- By:
- Publication type:
- Article
8
Green's Relations in Deterministic Finite Automata.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 666, doi. 10.1007/s00224-018-9847-4
- By:
- Publication type:
- Article
9
On Algorithmic Statistics for Space-bounded Algorithms.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 833, doi. 10.1007/s00224-018-9845-6
- By:
- Publication type:
- Article
10
Unary Coded PSPACE-Complete Languages in ASPACE(loglog n).
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 4, p. 688, doi. 10.1007/s00224-018-9844-7
- By:
- Publication type:
- Article