On the Expressiveness of Single-Pass Instruction Sequences.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 313, doi. 10.1007/s00224-010-9301-8
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2012 AND VI 50 AND IP 2
Results: 9
1
2
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 329, doi. 10.1007/s00224-010-9302-7
- By:
- Publication type:
- Article
3
The Navigational Power of Web Browsers.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 213, doi. 10.1007/s00224-010-9294-3
- By:
- Publication type:
- Article
4
A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 241, doi. 10.1007/s00224-010-9296-1
- By:
- Publication type:
- Article
5
Layered Hashing Algorithm for Real-time Systems.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 279, doi. 10.1007/s00224-010-9297-0
- By:
- Publication type:
- Article
6
On Empirical Meaning of Randomness with Respect to Parametric Families of Probability Distributions.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 296, doi. 10.1007/s00224-010-9300-9
- By:
- Publication type:
- Article
7
The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 387, doi. 10.1007/s00224-010-9310-7
- By:
- Publication type:
- Article
8
Computing Conformal Maps of Finitely Connected Domains onto Canonical Slit Domains.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 354, doi. 10.1007/s00224-010-9305-4
- By:
- Publication type:
- Article
9
Computing Space-Filling Curves.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 370, doi. 10.1007/s00224-010-9306-3
- By:
- Publication type:
- Article