Works matching IS 14324350 AND DT 2017 AND VI 60 AND IP 2
Results: 10
Fixed Points, Nash Equilibria, and the Existential Theory of the Reals.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 172, doi. 10.1007/s00224-015-9662-0
- By:
- Publication type:
- Article
Distance Vector-based Advance Reservation with Delay Performance Guarantees.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 194, doi. 10.1007/s00224-015-9665-x
- By:
- Publication type:
- Article
Path-Disruption Games: Bribery and a Probabilistic Model.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 222, doi. 10.1007/s00224-016-9669-1
- By:
- Publication type:
- Article
The Complexity of Finding Effectors.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 253, doi. 10.1007/s00224-016-9670-8
- By:
- Publication type:
- Article
Sophistication vs Logical Depth.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 280, doi. 10.1007/s00224-016-9672-6
- By:
- Publication type:
- Article
A Difference in Complexity Between Recursion and Tail Recursion.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 299, doi. 10.1007/s00224-016-9673-5
- By:
- Publication type:
- Article
Conditional Measure and the Violation of Van Lambalgen's Theorem for Martin-Löf Randomness.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 314, doi. 10.1007/s00224-016-9675-3
- By:
- Publication type:
- Article
Small-Bias is Not Enough to Hit Read-Once CNF.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 324, doi. 10.1007/s00224-016-9680-6
- By:
- Publication type:
- Article
The Behavior of Clique-Width under Graph Operations and Graph Transformations.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 346, doi. 10.1007/s00224-016-9685-1
- By:
- Publication type:
- Article
Composition Closure of Linear Extended Top-down Tree Transducers.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 2, p. 129, doi. 10.1007/s00224-015-9660-2
- By:
- Publication type:
- Article